Commit 796a3ca8 authored by Heiko Becker's avatar Heiko Becker

Merge branch 'master' into coq8.8_compat

parents ce406faa b1774cab
image: localhost:5000/flover image: heikobecker/coq-polyml-ci
variables: variables:
GIT_SUBMODULE_STRATEGY: none GIT_SUBMODULE_STRATEGY: none
......
...@@ -10,7 +10,7 @@ make -j ...@@ -10,7 +10,7 @@ make -j
make clean make clean
opam switch coq8.8 #opam switch coq8.8
eval `opam config env` #eval `opam config env`
./configure_coq.sh #./configure_coq.sh
make -j #make -j
#!/bin/bash #!/bin/bash
if [[ "$HOLDIR" = "" ]] #We must be running on ci-server
then echo "HOLDIR not set, starting to install HOL4 into current directory."
#We must be running on ci-server echo "If this is not intended, please abort with Ctrl-c"
echo "HOLDIR not set, starting to install HOL4 into current directory." sleep 5
echo "If this is not intended, please abort with Ctrl-c"
sleep 5 #Set HOL4 commit variable
HOLCOMMIT="$(cat ./hol4/.HOLCOMMIT)"
#Set HOL4 commit variable git clone https://github.com/HOL-Theorem-Prover/HOL.git HOL4
HOLCOMMIT="$(cat ./hol4/.HOLCOMMIT)" cd HOL4
git clone https://github.com/HOL-Theorem-Prover/HOL.git HOL4 git checkout $HOLCOMMIT
cd HOL4 poly < tools/smart-configure.sml
git checkout $HOLCOMMIT bin/build
poly < tools/smart-configure.sml export HOLDIR="$(pwd)"
bin/build cd ../
export HOLDIR="$(pwd)"
cd ../
fi
cd ./hol4 cd ./hol4
......
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