blob: 1302e6ecbab4fc16a524f2b493ac66b2c714aabd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
COQINCLUDES=-R src/CoqUp CoqUp
COQEXEC=$(COQBIN)coqtop $(COQINCLUDES) -batch -load-vernac-source
COQMAKE="$(COQBIN)coq_makefile"
VS=$(wildcard src/CoqUp/*.v)
.PHONY: all install coq clean
all:
$(MAKE) coq
$(MAKE) extraction
install:
$(MAKE) -f Makefile.coq install
coq: Makefile.coq
$(MAKE) -f Makefile.coq
extraction: extraction/STAMP
extraction/STAMP:
rm -f extraction/*.ml extraction/*.mli
$(COQEXEC) ./extraction/Extraction.v
touch $@
Makefile.coq: Makefile
$(COQBIN)coq_makefile $(COQINCLUDES) $(VS) -o Makefile.coq
clean:: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f */*.v.d */*.glob */*.vo */*~ *~
rm -f Makefile.coq
|