-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathMakefile
35 lines (24 loc) · 1.35 KB
/
Makefile
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
# requires: coq8.7
.PHONY: clean tactic cacheclean test archclean install uninstall
MLTACTICOPT:=-rectypes -thread -package vpl -linkpkg
test: tactic
$(MAKE) -j -f tactic.mk "OPT:=-opt"
tactic: tactic.mk
$(MAKE) -j -f tactic.mk src/vpltactics.cmx "OPT:=-opt" "CAMLC:=ocamlfind ocamlc -c $(MLTACTICOPT)" "CAMLOPTC:=ocamlfind ocamlopt -c $(MLTACTICOPT)" "CAMLLINK:=ocamlfind ocamlc $(MLTACTICOPT)" "CAMLOPTLINK:=ocamlfind ocamlopt $(MLTACTICOPT)"
$(MAKE) -j -f tactic.mk src/reification.cmx "OPT:=-opt" "CAMLC:=ocamlfind ocamlc -c $(MLTACTICOPT)" "CAMLOPTC:=ocamlfind ocamlopt -c $(MLTACTICOPT)" "CAMLLINK:=ocamlfind ocamlc $(MLTACTICOPT)" "CAMLOPTLINK:=ocamlfind ocamlopt $(MLTACTICOPT)"
$(MAKE) -j -f tactic.mk src/vpl_plugin.cmxa "OPT:=-opt"
$(MAKE) -j -f tactic.mk "OPT:=-opt" "CAMLC:=ocamlfind ocamlc -c $(MLTACTICOPT)" "CAMLOPTC:=ocamlfind ocamlopt -c $(MLTACTICOPT)" "CAMLLINK:=ocamlfind ocamlc $(MLTACTICOPT)" "CAMLOPTLINK:=ocamlfind ocamlopt $(MLTACTICOPT)" theories/Tactic.vo
tactic.mk: _CoqProject
coq_makefile -f _CoqProject -o tactic.mk
install: tactic
$(MAKE) -f tactic.mk install
uninstall: tactic.mk
$(MAKE) -f tactic.mk uninstall || echo "skip last errors..."
coqide:
@echo "coqide -R theories VplTactic -I src"
cacheclean:
rm -rf */.*.aux .*.cache */*~ *~
clean: tactic.mk cacheclean
$(MAKE) -f tactic.mk clean
archclean: clean
rm -f tactic.mk