1 2 3 4 5 6 7
#!/usr/bin/env bash . ../template/init.sh coq_makefile -f _CoqProject -o Makefile make exec test -f "subdir/done"