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

Heiko Becker's avatar
Heiko Becker committed
3
cd ./hol4
Heiko Becker's avatar
Heiko Becker committed
4
$HOLDIR/bin/Holmake
5 6 7 8
cd ./binary
$HOLDIR/bin/Holmake checkerBinaryTheory.uo
$HOLDIR/bin/Holmake checker.S
$HOLDIR/bin/Holmake cake_checker