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

Bug fix: Isabelle version was hardcoded in tags.

This commit is contained in:
Achim D. Brucker 2019-01-05 15:38:26 +00:00
parent 5c409c00a7
commit d8dfe40d96
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.sh
View File

@ -47,7 +47,7 @@ for url in $ISA_URL $AFP_URL/$AFP_TAR; do
fi
done
docker build -t logicalhacking:isabelle2018 isabelle \
docker build -t logicalhacking:isabelle$VERSION isabelle \
--build-arg sessions=$SESSIONS \
--build-arg isabelle=$ISA_URL \
--build-arg afp=$AFP_URL/$AFP_TAR