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

Disabled build of Isabelle/DOF image.

This commit is contained in:
Achim D. Brucker 2022-10-30 20:44:02 +00:00
parent 5c2343f8d0
commit 0ae1e8eafa
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build.sh
View File

@ -39,5 +39,5 @@ export IMAGE_NAME=logicalhacking/isabelle$VERSION
( cd isabelle && source hooks/build)
# Generate Isabelle/DOF image
ISADOF_VERSION=1.0.0
( cd isabelle_dof && source hooks/build)
#ISADOF_VERSION=1.0.0
#( cd isabelle_dof && source hooks/build)