-
Notifications
You must be signed in to change notification settings - Fork 31
/
Makefile
106 lines (71 loc) · 2.89 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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
BINDIR ?= $(if $(COQBIN),$(COQBIN),`coqc -where | xargs dirname | xargs dirname`/bin/)
default: all
all:
$(MAKE) tactics
$(MAKE) install-tactics
$(MAKE) plugin
tactics: Makefile.coq.tactics
$(MAKE) -f Makefile.coq.tactics
plugin: Makefile.coq.plugin Makefile.coq.plugin.local
-rm -f META
$(MAKE) -f Makefile.coq.plugin
mathcomp: Makefile.coq.mathcomp
$(MAKE) -f Makefile.coq.mathcomp
install: install-tactics install-plugin
install-tactics: tactics
$(MAKE) -f Makefile.coq.tactics install
install-plugin: plugin
$(MAKE) -f Makefile.coq.plugin install
install-mathcomp: Makefile.coq.mathcomp
$(MAKE) -f Makefile.coq.mathcomp install
uninstall: uninstall-tactics uninstall-plugin
uninstall-tactics: Makefile.coq.tactics
$(MAKE) -f Makefile.coq.tactics uninstall
uninstall-plugin: Makefile.coq.plugin Makefile.coq.plugin.local
$(MAKE) -f Makefile.coq.plugin uninstall
uninstall-mathcomp: Makefile.coq.mathcomp
$(MAKE) -f Makefile.coq.mathcomp uninstall
Makefile.coq.plugin: _CoqProject.plugin
coq_makefile -f _CoqProject.plugin -o Makefile.coq.plugin
Makefile.coq.tactics: _CoqProject.tactics
coq_makefile -f _CoqProject.tactics -o Makefile.coq.tactics
Makefile.coq.mathcomp: _CoqProject.mathcomp
coq_makefile -f _CoqProject.mathcomp -o Makefile.coq.mathcomp
tests: tests-plugin tests-tactics
tests-plugin:
$(MAKE) -B -C tests/plugin
tests-tactics:
$(MAKE) -B -C tests/tactics
quicktest: test-plugin test-tactics
test-plugin:
$(MAKE) -B -C tests/plugin plugin_test.vo
test-tactics:
$(MAKE) -B -C tests/tactics tactics_test.vo
clean: Makefile.coq.tactics Makefile.coq.plugin Makefile.coq.plugin.local Makefile.coq.mathcomp
$(MAKE) -f Makefile.coq.tactics cleanall
-$(MAKE) -f Makefile.coq.plugin cleanall
-$(MAKE) -f Makefile.coq.mathcomp cleanall
-rm -rf _build
rm -f Makefile.coq.tactics Makefile.coq.tactics.conf Makefile.coq.plugin Makefile.coq.plugin.conf Makefile.coq.mathcomp Makefile.coq.mathcomp.conf META
dune: dune-tactics dune-plugin
dune-tactics:
dune build -p coq-hammer-tactics
dune-plugin:
dune build -p coq-hammer-tactics,coq-hammer
dune-install: dune-install-tactics dune-install-plugin
dune-install-tactics: dune-tactics
dune install coq-hammer-tactics
dune-install-plugin: dune-plugin
dune install coq-hammer
dune-uninstall:
dune uninstall coq-hammer coq-hammer-tactics
dune-uninstall-tactics:
dune uninstall coq-hammer-tactics
dune-uninstall-plugin:
dune uninstall coq-hammer
dune-clean:
dune clean
$(MAKE) -C eval clean
$(MAKE) -C tests/plugin clean
$(MAKE) -C tests/tactics clean
.PHONY: default all tactics plugin mathcomp install install-tactics install-plugin install-mathcomp uninstall uninstall-tactics uninstall-plugin tests tests-plugin tests-tactics quicktest test-plugin test-tactics clean dune dune-tactics dune-plugin dune-install dune-install-tactics dune-install-plugin dune-clean install-extra dune-uninstall dune-uninstall-tactics dune-uninstall-plugin