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
|
makefiles: test-suite/Makefile examples/Makefile
test-suite/Makefile: test-suite/_CoqProject
cd test-suite && coq_makefile -f _CoqProject -o Makefile
examples/Makefile: examples/_CoqProject
cd examples && coq_makefile -f _CoqProject -o Makefile
pre-all:: makefiles
# Ensure we make the bytecode version as well
post-all:: bytefiles
clean-examples:
cd examples && $(MAKE) clean
clean-test-suite: makefiles
cd test-suite && $(MAKE) clean
test-suite: makefiles
cd test-suite && $(MAKE)
.PHONY: test-suite
examples: examples/Makefile
cd examples && $(MAKE)
.PHONY: examples
clean:: makefiles clean-examples clean-test-suite
siteexamples: examples/*.glob
sh siteexamples.sh
|
