Commit eafb3aaf authored by Heiko Becker's avatar Heiko Becker

Make ci check for updated HOL4

parent 67de6c46
#!/bin/sh
cd ./hol4/binary
$HOLDIR/bin/Holmake checkerBinaryTheory.uo
$HOLDIR/bin/Holmake checker.S
$HOLDIR/bin/Holmake cake_checker
#!/bin/sh #!/bin/sh
cd ./hol4 cd ./hol4
$HOLDIR/bin/Holmake #Run configure script to check the versions
./configure_hol.sh
$HOLDIR/bin/Holmake -q
cd ./binary cd ./binary
$HOLDIR/bin/Holmake checkerBinaryTheory.uo
$HOLDIR/bin/Holmake checker.S $HOLDIR/bin/Holmake -q checkerBinaryTheory.uo
$HOLDIR/bin/Holmake cake_checker $HOLDIR/bin/Holmake -q checker.S
$HOLDIR/bin/Holmake -q 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