blob: dd1db2f08ad9991ff810d35785c2196d1a9da48a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
VS:=$(shell find . -type f -name '*.v')
.PHONY: coq clean force
coq: Makefile.coq.all $(VS)
$(MAKE) -f Makefile.coq.all
Makefile.coq.all: force
@echo "GEN $@"
@$(COQBIN)coq_makefile -f _CoqProject $(VS) -o Makefile.coq.all
force:
clean:: Makefile.coq.all
$(MAKE) -f Makefile.coq.all clean
rm -rf *.v.d *.glob *.vo *~ *.hi *.o
rm -f Makefile.coq.all Makefile.coq.all.conf
install: Makefile.coq.all
$(MAKE) -f Makefile.coq.all install
uninstall: Makefile.coq.all
$(MAKE) -f Makefile.coq.all uninstall
|