ci-hol4.sh 468 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
#Run configure script to check the versions
5 6
./configure_hol.sh
RET=$?
7

Heiko Becker's avatar
Heiko Becker committed
8
if [ $RET -eq 1 ];
9 10 11 12 13 14
then
   echo "Updating HOL4 to the latest state specified in HOLCOMMIT"
   ./configure_hol.sh --init
else
    echo "Downloading CakeML"
    git submodule init cakeml
Heiko Becker's avatar
Heiko Becker committed
15
    git submodule update -f cakeml
16
fi
17 18 19

$HOLDIR/bin/Holmake -q

20
cd ./binary
21 22 23 24

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