Commit 2c62cf04 authored by Heiko Becker's avatar Heiko Becker
Browse files

Fix CI scripts for new, restructured HOL4 development

parent 9046ff96
......@@ -36,17 +36,16 @@ else
cd $FLOVERDIR
fi
git clone https://github.com/CakeML/cakeml.git cakeml
cd cakeml
export CAKEMLDIR="$(pwd)"
cd ..
cd ./hol4
$HOLDIR/bin/Holmake
cd ./binary
echo "Downloading CakeML"
git submodule init cakeml
git submodule update -f cakeml
$HOLDIR/bin/Holmake checkerBinaryTheory.uo
$HOLDIR/bin/Holmake checker.S
$HOLDIR/bin/Holmake cake_checker
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