--- 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"]