Commit f4fa12cb authored by Heiko Becker's avatar Heiko Becker

3rd round

parent e54881ea
......@@ -12,5 +12,6 @@ compile-hol:
script: cd hol4 && Holmake
compile-binary:
depends: compile-hol
stage: compile
script: cd hol4/binary && Holmake checkerBinaryTheory.uo && Holmake checker.S && Holmake cake_checker
#!/bin/sh
cd ./hol/binary
$HOLDIR/bin/Holmake checkerBinaryTheory.uo
$HOLDIR/bin/Holmake checker.S
$HOLDIR/bin/Holmake cake_checker
#!/bin/sh
cd ./hol
$HOLDIR/bin/Holmake
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