Skip to content
Snippets Groups Projects
Commit e8f1bad4 authored by Heiko Becker's avatar Heiko Becker
Browse files

Update ci-hol4.sh to disable binary build

parent 28fb7c69
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 7 additions and 7 deletions
scripts/ci-hol4.sh
+ 7
− 7
View file @ e8f1bad4
......@@ -40,12 +40,12 @@ cd ./hol4
$HOLDIR/bin/Holmake
cd ./binary
#cd ./binary
echo "Downloading CakeML"
git submodule init cakeml
git submodule update -f cakeml
#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
#$HOLDIR/bin/Holmake checkerBinaryTheory.uo
#$HOLDIR/bin/Holmake checker.S
#$HOLDIR/bin/Holmake cake_checker
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment