# HG changeset patch
# User wenzelm
# Date 1666814356 -7200
# Node ID cb26f923230d395ca0a0917a1a2b184c59c1f233
# Parent  2510e6f7b11cc49b31a4e622773d7c33f232a1b0# Parent  e0f3fda929902dda12262483bcbd7ba4d50e5948
merged

diff -r 2510e6f7b11c -r cb26f923230d Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Oct 26 18:08:44 2022 +0100
+++ b/Admin/Release/CHECKLIST	Wed Oct 26 21:59:16 2022 +0200
@@ -72,14 +72,17 @@
 
 - regular packaging:
 
+  #source archive
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p ""
+
   #on fast Linux machine, with access to Linux + Windows build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux_arm
 
 - Docker image:
 
diff -r 2510e6f7b11c -r cb26f923230d Admin/components/bundled
--- a/Admin/components/bundled	Wed Oct 26 18:08:44 2022 +0100
+++ b/Admin/components/bundled	Wed Oct 26 21:59:16 2022 +0200
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-
+naproche-20221024
diff -r 2510e6f7b11c -r cb26f923230d src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Oct 26 18:08:44 2022 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Oct 26 21:59:16 2022 +0200
@@ -244,13 +244,17 @@
 
           val build_command =
             "bin/isabelle build -o system_heaps -b -- " + Bash.strings(build_sessions)
+          def system_apple(b: Boolean): String =
+            """{ echo "ML_system_apple = """ + b + """" > "$(bin/isabelle getenv -b ISABELLE_HOME_USER)/etc/preferences"; }"""
+
           val build_script =
             List(
               "cd " + File.bash_path(remote_dir),
               "tar -xf tmp.tar",
+              """mkdir -p "$(bin/isabelle getenv -b ISABELLE_HOME_USER)/etc" """,
+              system_apple(false),
               build_command,
-              """mkdir -p "$(bin/isabelle getenv -b ISABELLE_HOME_USER)/etc" """,
-              """{ echo "ML_system_apple = false" > "$(bin/isabelle getenv -b ISABELLE_HOME_USER)/etc/preferences"; }""",
+              system_apple(true),
               build_command,
               "tar -cf tmp.tar heaps")
           ssh.execute(build_script.mkString(" && "), settings = false).check