--- a/src/Pure/Admin/build_scala.scala Wed Nov 30 15:14:21 2022 +0100
+++ b/src/Pure/Admin/build_scala.scala Wed Nov 30 15:19:57 2022 +0100
@@ -28,13 +28,6 @@
def get(path: Path, progress: Progress = new Progress): Unit =
Isabelle_System.download_file(proper_url, path, progress = progress)
- def get_unpacked(dir: Path, strip: Boolean = false, progress: Progress = new Progress): Unit =
- Isabelle_System.with_tmp_file("archive", ext = "tar.gz"){ archive_path =>
- get(archive_path, progress = progress)
- progress.echo("Unpacking " + artifact)
- Isabelle_System.extract(archive_path, dir, strip = strip)
- }
-
def print: String =
" * " + name + " " + version +
(if (base_version.nonEmpty) " for Scala " + base_version else "") +
@@ -76,7 +69,10 @@
/* download */
- main_download.get_unpacked(component_dir.path, strip = true, progress = progress)
+ Isabelle_System.with_tmp_file("archive", ext = "tar.gz") { archive_path =>
+ main_download.get(archive_path, progress = progress)
+ Isabelle_System.extract(archive_path, component_dir.path, strip = true)
+ }
lib_downloads.foreach(download =>
download.get(component_dir.lib + Path.basic(download.artifact), progress = progress))