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
|
.PHONY: all
all:
$(MAKE) -C reader
$(MAKE) -C write
$(MAKE) -C codewriter
$(MAKE) -C canonxml
$(MAKE) -C negative
$(MAKE) -C dynamic
.PHONY: clean
clean:
rm -f *.cmi *.cmo *.cma *.cmx *.cmxa
.PHONY: CLEAN
CLEAN: clean
$(MAKE) -C reader clean
$(MAKE) -C write clean
$(MAKE) -C codewriter clean
$(MAKE) -C canonxml clean
$(MAKE) -C negative clean
$(MAKE) -C dynamic clean
.PHONY: distclean
distclean: clean
rm -f *~
rm -f dumpfiles
$(MAKE) -C reader distclean
$(MAKE) -C write distclean
$(MAKE) -C codewriter distclean
$(MAKE) -C canonxml distclean
$(MAKE) -C negative distclean
$(MAKE) -C dynamic distclean
dumpfiles: dumpfiles.ml
ocamlc -o dumpfiles dumpfiles.ml
|
