Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified build options: reduce heap size by approx. 3%;
authorwenzelm
Mon, 15 May 2023 10:50:48 +0200
changeset 78045 bf4d535bbfcc
parent 78044 2c3f4d80abfb
child 78046 78deba4fdf27
clarified build options: reduce heap size by approx. 3%;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Sun May 14 20:54:08 2023 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon May 15 10:50:48 2023 +0200
@@ -242,7 +242,7 @@
           ssh.write_file(remote_tmp_tar, local_tmp_tar)
 
           val build_command =
-            "bin/isabelle build -o system_heaps -b -- " + Bash.strings(build_sessions)
+            "bin/isabelle build -o parallel_proofs=0 -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"; }"""
isabelle