frap/Makefile.fraplib

12 lines
214 B
Text
Raw Permalink Normal View History

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