blob: 3e77020f1d5eca5163eab5a757c34a67b95ef017 (
plain)
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 cleanall
rm -f Makefile.coq Makefile.coq.conf
Makefile.coq: _CoqProject
$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
_CoqProject Makefile: ;
%: Makefile.coq
+$(MAKE) -f Makefile.coq $@
.PHONY: all clean
|