configure 50 Bytes
Newer Older
1 2
#!/bin/sh
coq_makefile -f _CoqProject -o Makefile