COQMFFLAGS := -Q . PLF ALLVFILES := Maps.v Imp.v build: Makefile.coq $(MAKE) -f Makefile.coq clean: if [ -e Makefile.coq ]; then $(MAKE) -f Makefile.coq cleanall; fi $(RM) $(wildcard Makefile.coq Makefile.coq.conf) imp.ml imp.mli imp1.ml imp1.mli imp2.ml imp2.mli Makefile.coq: coq_makefile $(COQMFFLAGS) -o Makefile.coq $(ALLVFILES) .PHONY: build clean