# HG changeset patch # User wenzelm # Date 1551905070 -3600 # Node ID 6ebe97815275995cfdd487c69e8e8a62bcff4fe4 # Parent bb16c0bb7520d4a39c291bd5961ff0ab76a91cbc proper option (amending cc0b3e177b49); diff -r bb16c0bb7520 -r 6ebe97815275 src/Pure/Admin/build_release.scala --- a/src/Pure/Admin/build_release.scala Wed Mar 06 19:48:02 2019 +0100 +++ b/src/Pure/Admin/build_release.scala Wed Mar 06 21:44:30 2019 +0100 @@ -329,7 +329,7 @@ try { other_isabelle.bash( - "./bin/isabelle build_doc -a -s -j " + parallel_jobs, echo = true).check + "./bin/isabelle build_doc -a -o system_heaps -j " + parallel_jobs, echo = true).check } catch { case ERROR(_) => error("Failed to build documentation") } @@ -689,7 +689,7 @@ other_isabelle.bash("bin/isabelle build -j " + parallel_jobs + " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" + - " -s -c -a -d '~~/src/Benchmarks'", echo = true).check + " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check other_isabelle.isabelle_home_user.file.delete execute(tmp_dir, "chmod -R a+r " + Bash.string(release.dist_name)) diff -r bb16c0bb7520 -r 6ebe97815275 src/Pure/Tools/build_docker.scala --- a/src/Pure/Tools/build_docker.scala Wed Mar 06 19:48:02 2019 +0100 +++ b/src/Pure/Tools/build_docker.scala Wed Mar 06 21:44:30 2019 +0100 @@ -65,7 +65,7 @@ mv """ + isabelle_name + """ Isabelle && \ perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \ perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=""" + logic + """,g;' Isabelle/etc/settings && \ - Isabelle/bin/isabelle build -s -b """ + logic + + Isabelle/bin/isabelle build -o system_heaps -b """ + logic + (if (entrypoint) """ ENTRYPOINT ["Isabelle/bin/isabelle"]