blob: 1043ce91c7ffc4e11e9f9a9bc0b1a65caed4fdcc (
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
|
FILES := coq.mli helper.mli search_monad.mli matcher.mli theory.mli print.mli rewrite.mli \
coq.ml helper.ml search_monad.ml matcher.ml theory.ml print.ml rewrite.ml4 \
aac.mlpack \
AAC.v Instances.v Tutorial.v Caveats.v
ARGS := -R . AAC_tactics
.PHONY: coq clean
world: all doc
all: Makefile.coq
$(MAKE) -f Makefile.coq all
coq: Makefile.coq
$(MAKE) -f Makefile.coq
doc: Makefile.coq
$(MAKE) -f Makefile.coq html
Makefile.coq: Makefile $(VS)
coq_makefile $(ARGS) $(FILES) -o Makefile.coq
clean:: Makefile.coq
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq .depend
|
