# 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 */