Add isabelle bin directory to PATH.

This commit is contained in:
Achim D. Brucker 2019-01-05 17:05:18 +00:00
parent 1b32ba0fd4
commit df8414822f
1 changed files with 1 additions and 0 deletions

View File

@ -54,3 +54,4 @@ RUN curl -L -o "Isabelle.tar.gz" "$isabelle" && \
perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
Isabelle/bin/isabelle build -s -b $sessions
ENV PATH="Isabelle/bin:${PATH}"