equal
deleted
inserted
replaced
52 /* jar */ |
52 /* jar */ |
53 |
53 |
54 val jar = component_dir + Path.basic(download_name).ext("jar") |
54 val jar = component_dir + Path.basic(download_name).ext("jar") |
55 Isabelle_System.download_file(download_url, jar, progress = progress) |
55 Isabelle_System.download_file(download_url, jar, progress = progress) |
56 |
56 |
57 Isabelle_System.with_tmp_dir("sqlite") { jar_dir => |
57 Isabelle_System.with_tmp_dir("build") { jar_dir => |
58 progress.echo("Unpacking " + jar) |
58 progress.echo("Unpacking " + jar) |
59 Isabelle_System.bash("isabelle_jdk jar xf " + File.bash_path(jar.absolute), |
59 Isabelle_System.bash("isabelle_jdk jar xf " + File.bash_path(jar.absolute), |
60 cwd = jar_dir.file).check |
60 cwd = jar_dir.file).check |
61 |
61 |
62 val jar_files = |
62 val jar_files = |