Commit 60da67c9 authored by Heiko Becker's avatar Heiko Becker

Final bug fix?

parent 32d50f08
...@@ -30,10 +30,11 @@ if [[ "$INIT" = "yes" ]]; ...@@ -30,10 +30,11 @@ if [[ "$INIT" = "yes" ]];
then then
echo "Checking out CakeML submodule to correct state" echo "Checking out CakeML submodule to correct state"
git submodule init git submodule init
git submodule --update cakeml git submodule update cakeml
echo "Checking out correct HOL4 version" echo "Checking out correct HOL4 version"
cd $HOLDIR cd $HOLDIR
git pull
git checkout $HOLCOMMIT git checkout $HOLCOMMIT
$HOLDIR/bin/build cleanAll $HOLDIR/bin/build cleanAll
poly < $HOLDIR/tools/smart-configure.sml poly < $HOLDIR/tools/smart-configure.sml
......
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