From aaad4fb4829bb837693d707b82fd0fe0b1ba0fc9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 13 Apr 2021 12:25:49 +0100
Subject: [PATCH] Clean /tmp director after build.

---
 isabelle/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isabelle/Dockerfile b/isabelle/Dockerfile
index 3772778..3743733 100644
--- a/isabelle/Dockerfile
+++ b/isabelle/Dockerfile
@@ -52,6 +52,7 @@ RUN curl -L -o "Isabelle.tar.gz" "$isabelle" && \
   mkdir .isabelle && \
   echo `pwd`/afp/thys > .isabelle/ROOTS && \
   perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
-  Isabelle/bin/isabelle build -b $sessions
+  Isabelle/bin/isabelle build -b $sessions \
+  rm -rf /tmp/*
 
 ENV PATH="/home/isabelle/Isabelle/bin:${PATH}"