ci-binary.sh 180 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/bash

cd ./coq/binary

make

cd ../../

cd ./hol4/binary

$HOLDIR/bin/Holmake -q checkerBinaryTheory.uo
$HOLDIR/bin/Holmake -q checker.S
$HOLDIR/bin/Holmake -q cake_checker