blob: a9d5466053cd6a3a6e98fafac52281d6fffa8e8f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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
%: Makefile.coq
+make -f Makefile.coq $@
.PHONY: all clean
|