Source

ocaml-logicm / run.sh

Full commit
1
2
3
4
TARGET=tests.native
# rm -f $TARGET && ocamlbuild $TARGET && echo "------------------" && ( ./$TARGET | head -c 1200 ) || echo "exit code: $?"
ocamlbuild logicM_cps.inferred.mli || exit 1
rm -f $TARGET && ocamlbuild $TARGET && echo "------------------" && ./$TARGET || echo "exit code: $?"