coq_makefile -f _CoqProject -o Makefile *.v
