#!/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
