Commit b1ba3071 authored by Heiko Becker's avatar Heiko Becker

Fix some submodule cloning bugs in CI and update CI script for HOL4

parent eafb3aaf
image: localhost:5000/flover
variables:
GIT_SUBMODULE_STRATEGY: normal
GIT_SUBMODULE_STRATEGY: none
stages:
- compile
......@@ -9,8 +9,6 @@ stages:
compile-coq:
stage: compile
except:
- /^WIP:.*$/
script: ./scripts/ci-coq.sh
artifacts:
expire_in: 24h
......@@ -19,8 +17,6 @@ compile-coq:
compile-hol:
stage: compile
except:
- /^WIP:.*$/
script: ./scripts/ci-hol4.sh
artifacts:
expire_in: 24h
......@@ -29,6 +25,4 @@ compile-hol:
regression-tests:
stage: regression
except:
- /^WIP:.*$/
script: ./scripts/regressiontests.sh
\ No newline at end of file
......@@ -2,7 +2,17 @@
cd ./hol4
#Run configure script to check the versions
./configure_hol.sh
RET=./configure_hol.sh
if [[ $RET -eq 1]]
then
echo "Updating HOL4 to the latest state specified in HOLCOMMIT"
./configure_hol.sh --init
else
echo "Downloading CakeML"
git submodule init cakeml
git submodule update cakeml
fi
$HOLDIR/bin/Holmake -q
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment