--- a/src/Pure/Tools/build_docker.scala Sat Mar 21 20:57:34 2020 +0100
+++ b/src/Pure/Tools/build_docker.scala Sat Mar 21 21:12:07 2020 +0100
@@ -67,7 +67,8 @@
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 -o system_heaps -b """ + logic +
+ Isabelle/bin/isabelle build -o system_heaps -b """ + logic + """ && \
+ rm Isabelle.tar.gz""" +
(if (entrypoint) """
ENTRYPOINT ["Isabelle/bin/isabelle"]