proper option (amending cc0b3e177b49);
authorwenzelm
Wed Mar 06 21:44:30 2019 +0100 (7 weeks ago ago)
changeset 700546ebe97815275
parent 70053 bb16c0bb7520
child 70055 11065b70407d
proper option (amending cc0b3e177b49);
src/Pure/Admin/build_release.scala
src/Pure/Tools/build_docker.scala
     1.1 --- a/src/Pure/Admin/build_release.scala	Wed Mar 06 19:48:02 2019 +0100
     1.2 +++ b/src/Pure/Admin/build_release.scala	Wed Mar 06 21:44:30 2019 +0100
     1.3 @@ -329,7 +329,7 @@
     1.4  
     1.5        try {
     1.6          other_isabelle.bash(
     1.7 -          "./bin/isabelle build_doc -a -s -j " + parallel_jobs, echo = true).check
     1.8 +          "./bin/isabelle build_doc -a -o system_heaps -j " + parallel_jobs, echo = true).check
     1.9        }
    1.10        catch { case ERROR(_) => error("Failed to build documentation") }
    1.11  
    1.12 @@ -689,7 +689,7 @@
    1.13  
    1.14              other_isabelle.bash("bin/isabelle build -j " + parallel_jobs +
    1.15                " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
    1.16 -              " -s -c -a -d '~~/src/Benchmarks'", echo = true).check
    1.17 +              " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check
    1.18              other_isabelle.isabelle_home_user.file.delete
    1.19  
    1.20              execute(tmp_dir, "chmod -R a+r " + Bash.string(release.dist_name))
     2.1 --- a/src/Pure/Tools/build_docker.scala	Wed Mar 06 19:48:02 2019 +0100
     2.2 +++ b/src/Pure/Tools/build_docker.scala	Wed Mar 06 21:44:30 2019 +0100
     2.3 @@ -65,7 +65,7 @@
     2.4    mv """ + isabelle_name + """ Isabelle && \
     2.5    perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
     2.6    perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=""" + logic + """,g;' Isabelle/etc/settings && \
     2.7 -  Isabelle/bin/isabelle build -s -b """ + logic +
     2.8 +  Isabelle/bin/isabelle build -o system_heaps -b """ + logic +
     2.9   (if (entrypoint) """
    2.10  
    2.11  ENTRYPOINT ["Isabelle/bin/isabelle"]