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

Compare commits

base: lh-docker:39b2e5865ece24012f23b6ef4dacb72a2c400075
Branches Tags
lh-docker:master
...
compare: lh-docker:4b2e86c6ad6c244742d478d446d185ceeef5e98b
Branches Tags
lh-docker:master

2 Commits
39b2e5865e ... 4b2e86c6ad

Author SHA1 Message Date
Achim D. Brucker 4b2e86c6ad Added link for Isabelle2021 image. 2021-03-18 19:19:29 +00:00
Achim D. Brucker 6b8827830d Updated latest Isabelle version and export environment. 2021-03-18 19:19:09 +00:00
3 changed files with 4 additions and 2 deletions
Show Stats Expand all files Collapse all files

1
README.md
View File

@ -19,6 +19,7 @@ tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
recent version of the [AFP](https://www.isa-afp.org) available for the specified
version of Isabelle. The following versions are available on docker hub:
* [logicalhacking/isabelle2021](https://hub.docker.com/r/logicalhacking/isabelle2021)
* [logicalhacking/isabelle2020](https://hub.docker.com/r/logicalhacking/isabelle2020)
* [logicalhacking/isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle2019)
* [logicalhacking/isabelle2018](https://hub.docker.com/r/logicalhacking/isabelle2018)

1
build.sh
View File

@ -35,6 +35,7 @@ export VERSION SESSIONS CONTAINER DOCKERUID LATEST
$CONTAINER build -t logicalhacking/debian4isabelle debian4isabelle
# Generate Isabelle image(s)
export IMAGE_NAME=logicalhacking/isabelle$VERSION
( cd isabelle && source hooks/build)
# Generate Isabelle/DOF image

4
config
View File

@ -27,8 +27,8 @@
set -e
VERSION=${1:-2020}
VERSION=${1:-2021}
SESSIONS=${2:-"HOL"}
CONTAINER=${3:-docker}
DOCKERUID=${4:-`id -u`}
LATEST="2020"
LATEST="2021"