Clean /tmp director after build.
Esse commit está contido em:
pai
9fa6b32b53
commit
aaad4fb482
|
@ -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}"
|
||||
|
|
Carregando…
Referência em uma nova issue