--- a/src/Pure/Admin/build_pdfjs.scala Fri Nov 25 13:38:15 2022 +0100
+++ b/src/Pure/Admin/build_pdfjs.scala Fri Nov 25 14:44:22 2022 +0100
@@ -25,9 +25,6 @@
target_dir: Path = Path.current,
progress: Progress = new Progress
): Unit = {
- Isabelle_System.require_command("unzip", test = "-h")
-
-
/* component name */
val component = "pdfjs-" + version
@@ -41,8 +38,7 @@
Isabelle_System.with_tmp_file("archive", ext = "zip") { archive_file =>
Isabelle_System.download_file(download_url + "/pdfjs-" + version + "-legacy-dist.zip",
archive_file, progress = progress)
- Isabelle_System.bash("unzip -x " + File.bash_path(archive_file),
- cwd = component_dir.path.file).check
+ Isabelle_System.extract(archive_file, component_dir.path)
}