# HG changeset patch
# User wenzelm
# Date 1739902026 -3600
# Node ID 8141b302bb920f5dbcce9e1cfd684221c63da9df
# Parent  355a2c1cdf401c34add1e79118ee2d1cc5e4b789
prefer inlined sfx.txt;

diff -r 355a2c1cdf40 -r 8141b302bb92 Admin/Windows/Installer/sfx.txt
--- a/Admin/Windows/Installer/sfx.txt	Tue Feb 18 17:48:37 2025 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-;!@Install@!UTF-8!
-GUIFlags="64"
-InstallPath="%UserDesktop%"
-BeginPrompt="Unpack {ISABELLE_NAME}?"
-ExtractPathText="Target directory"
-ExtractTitle="Unpacking {ISABELLE_NAME} ..."
-Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}"
-RunProgram="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\""
-AutoInstall="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\" -init"
-;!@InstallEnd@!
diff -r 355a2c1cdf40 -r 8141b302bb92 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Feb 18 17:48:37 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Feb 18 19:07:06 2025 +0100
@@ -832,8 +832,9 @@
 
             val sfx_exe = tmp_dir + Component_Windows_App.sfx_path
             val sfx_txt =
-              File.read(Path.explode("~~/Admin/Windows/Installer/sfx.txt"))
-                .replace("{ISABELLE_NAME}", isabelle_name)
+              Library.trim_split_lines(
+                Component_Windows_App.sfx_txt.replace("{ISABELLE_NAME}", isabelle_name)
+              ).map(_ + "\r\n").mkString
 
             Bytes.write(context.dist_dir + isabelle_exe,
               Bytes.read(sfx_exe) + Bytes(sfx_txt) + Bytes.read(exe_archive))
diff -r 355a2c1cdf40 -r 8141b302bb92 src/Pure/Admin/component_windows_app.scala
--- a/src/Pure/Admin/component_windows_app.scala	Tue Feb 18 17:48:37 2025 +0100
+++ b/src/Pure/Admin/component_windows_app.scala	Tue Feb 18 19:07:06 2025 +0100
@@ -21,6 +21,19 @@
   val sfx_name = "7zsd_All_x64.sfx"
   val sfx_path: Path = Path.basic("windows_app") + Path.basic(sfx_name)
 
+  val sfx_txt =
+""";!@Install@!UTF-8!
+GUIFlags="64"
+InstallPath="%UserDesktop%"
+BeginPrompt="Unpack {ISABELLE_NAME}?"
+ExtractPathText="Target directory"
+ExtractTitle="Unpacking {ISABELLE_NAME} ..."
+Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}"
+RunProgram="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\""
+AutoInstall="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\" -init"
+;!@InstallEnd@!
+"""
+
 
   /* build windows_app */