blob: cfdeeba7470442627c116804b77f7dfc9b1d83b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
all: Makefile.coq
$(MAKE) -f Makefile.coq
install: all
$(MAKE) -f Makefile.coq install
clean: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq
Makefile.coq: _CoqProject
$(COQBIN)/coq_makefile -f _CoqProject -o Makefile.coq
|
