Updated latest Isabelle version and export environment.
Cette révision appartient à :
Parent
39b2e5865e
révision
6b8827830d
1
build.sh
1
build.sh
|
@ -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
4
config
|
@ -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"
|
||||
|
|
Chargement…
Référencer dans un nouveau ticket