lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Log image version during build.
lh-docker/lh-docker-isabelle/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-08-18 19:52:20 +01:00
parent b0cecf990e
commit d8863b054c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
isabelle_dof/Dockerfile
View File

@ -42,9 +42,11 @@ RUN apt-get -y update && apt-get install -y imagemagick evince && \
USER isabelle
RUN if [[ -z "$isadof_version" ]]; then \
echo "Creating image from repository (master branch)" && \
git clone https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF.git && \
(cd Isabelle_DOF && git checkout master) \
else \
echo "Creating image using official release archive (version $isadof_version)" && \
curl -s -L https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-"$isadof_version"_Isabelle2019.tar.xz | tar Jxf - && \
ln -s Isabelle_DOF-"$isadof_version"_Isabelle2019 Isabelle_DOF; \
fi && \