Commit 4ce5e709 authored by Heiko Becker's avatar Heiko Becker

Update ci-binary.sh

parent 9ec7e793
......@@ -2,12 +2,16 @@
cd ./coq/binary
eval `opam config env`
make
cd ../../
pwd
#Setup HOL4, which should be installed by now
if [ ! -d "./HOL4"];
if [ ! -d "./HOL4" ];
then
echo "HOL4 setup failed, exiting"
exit 1
......
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