ci-hol4.sh 237 Bytes
Newer Older
Heiko Becker's avatar
Heiko Becker committed
1 2
#!/bin/sh

Heiko Becker's avatar
Heiko Becker committed
3
cd ./hol4
4 5 6 7 8
#Run configure script to check the versions
./configure_hol.sh

$HOLDIR/bin/Holmake -q

9
cd ./binary
10 11 12 13

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