1 2 3 4 5 6 7
#!/usr/bin/env bash . ../template/init.sh coq_makefile -f _CoqProject -o Makefile cat Makefile.conf make