default: Makefile.coq $(MAKE) -f Makefile.coq Makefile.coq: _CoqProject coq_makefile -f _CoqProject -o Makefile.coq clean: $(MAKE) -f Makefile.coq clean rm Makefile.coq .PHONY: default clean