43 lines | 884 chars
1 | all: tools manual tests |
2 | |
3 | |
4 | # The tools and the tests are rebuilt each time in order to avoid issues with |
5 | # different compiler versions |
6 | tests: manual |
7 | $(MAKE) -C tests clean |
8 | $(MAKE) -C tests all |
9 | |
10 | tools: |
11 | $(MAKE) -C tools clean |
12 | $(MAKE) -C tools all |
13 | $(MAKE) -C tests tools |
14 | |
15 | manual: tools |
16 | $(MAKE) -C manual all |
17 | |
18 | html: tools |
19 | $(MAKE) -C manual html |
20 | |
21 | release: |
22 | $(MAKE) -C manual release |
23 | |
24 | # The pregen-etex target generates the latex files from the .etex |
25 | # files to ensure that this phase of the manual build process, which |
26 | # may execute OCaml fragments and expect certain outputs, is correct |
27 | pregen-etex: tools |
28 | $(MAKE) -C manual etex-files |
29 | |
30 | # pregen builds both .etex files and the documentation of the standard library |
31 | pregen: tools |
32 | $(MAKE) -C manual files |
33 | |
34 | |
35 | .PHONY: tests manual tools |
36 | |
37 | |
38 | .PHONY: clean |
39 | clean: |
40 | $(MAKE) -C manual clean |
41 | $(MAKE) -C tools clean |
42 | $(MAKE) -C tests clean |
43 |