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