blob: 9ef58ed8e3bd888c4b17003264f772f18322a359 (
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
34
35
36
37
38
39
40
41
42
|
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) compile
install:
$(MAKE) -f Makefile.coq install
coq: Makefile.coq
$(MAKE) -f Makefile.coq
extraction: extraction/STAMP
compile: extraction/STAMP
@echo "OCaml bin/coqup"
@mkdir -p bin
@dune build extraction/main.exe
@cp _build/default/extraction/main.exe bin/coqup
extraction/STAMP:
@echo "COQEXEC ./extraction/Extraction.v"
@$(COQEXEC) ./extraction/Extraction.v
@touch $@
Makefile.coq:
@echo "COQMAKE Makefile.coq"
@$(COQBIN)coq_makefile $(COQINCLUDES) $(VS) -o Makefile.coq
clean:: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq
clean::
rm -f */*.v.d */*.glob */*.vo */*~ *~
|