# HG changeset patch
# User wenzelm
# Date 1707078744 -3600
# Node ID fb6b448b79391209e32a38af69f6ffb293d9705a
# Parent  d160d7a18b25888664d7bd9bd2157a2b1a5e9cd1
proper sfx_archive_name;

diff -r d160d7a18b25 -r fb6b448b7939 src/Pure/Admin/component_windows_app.scala
--- a/src/Pure/Admin/component_windows_app.scala	Sun Feb 04 20:54:30 2024 +0100
+++ b/src/Pure/Admin/component_windows_app.scala	Sun Feb 04 21:32:24 2024 +0100
@@ -88,10 +88,11 @@
 
       /* 7zip sfx module */
 
-      val sfx_name = Url.get_base_name(sfx_url).get
+      val sfx_archive_name = Url.get_base_name(sfx_url).get
 
-      Isabelle_System.download_file(sfx_url, tmp_dir + Path.basic(sfx_name), progress = progress)
-      Isabelle_System.bash("7z x " + Bash.string(sfx_name), cwd = tmp_dir.file).check
+      Isabelle_System.download_file(sfx_url,
+        tmp_dir + Path.basic(sfx_archive_name), progress = progress)
+      Isabelle_System.bash("7z x " + Bash.string(sfx_archive_name), cwd = tmp_dir.file).check
       Isabelle_System.copy_file(tmp_dir + Path.basic(sfx_name), component_dir.path)