Fixed PATH.
This commit is contained in:
parent
63915e3cc2
commit
100fa86c71
|
@ -55,4 +55,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}"
|
||||
ENV PATH="/home/isabelle/Isabelle/bin:${PATH}"
|
||||
|
|
Loading…
Reference in New Issue