1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
all: Makefile.coq +make -f Makefile.coq all clean: Makefile.coq +make -f Makefile.coq clean rm -f Makefile.coq Makefile.coq: Make $(COQBIN)coq_makefile -f Make -o Makefile.coq Make: ; %: Makefile.coq +make -f Makefile.coq $@ .PHONY: all clean