# HG changeset patch
# User wenzelm
# Date 1584821527 -3600
# Node ID 9a364ed3a4407ddc06b7772aed0035251c94fe5b
# Parent  9b49538845cc6ad1bbbc3e7c43ea939ea0b4819f
delete Isabelle distribution archive after use;

diff -r 9b49538845cc -r 9a364ed3a440 src/Pure/Tools/build_docker.scala
--- 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"]