equal
deleted
inserted
replaced
95 |
95 |
96 |
96 |
97 /* download source */ |
97 /* download source */ |
98 |
98 |
99 val archive_path = tmp_dir + Path.basic(archive_name) |
99 val archive_path = tmp_dir + Path.basic(archive_name) |
100 Isabelle_System.download(download_url, archive_path, progress = progress) |
100 Isabelle_System.download_file(download_url, archive_path, progress = progress) |
101 |
101 |
102 Isabelle_System.bash("tar xzf " + File.bash_path(archive_path), cwd = tmp_dir.file).check |
102 Isabelle_System.bash("tar xzf " + File.bash_path(archive_path), cwd = tmp_dir.file).check |
103 val source_name = File.get_dir(tmp_dir) |
103 val source_name = File.get_dir(tmp_dir) |
104 |
104 |
105 Isabelle_System.bash( |
105 Isabelle_System.bash( |