]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / rtests / Makefile
1 .PHONY: all
2 all:
3         $(MAKE) -C reader
4         $(MAKE) -C write
5         $(MAKE) -C codewriter
6         $(MAKE) -C canonxml
7         $(MAKE) -C negative
8
9 .PHONY: clean
10 clean:
11         rm -f *.cmi *.cmo *.cma *.cmx *.cmxa
12
13 .PHONY: CLEAN
14 CLEAN: clean
15         $(MAKE) -C reader clean
16         $(MAKE) -C write clean
17         $(MAKE) -C codewriter clean
18         $(MAKE) -C canonxml clean
19         $(MAKE) -C negative clean
20
21 .PHONY: distclean
22 distclean: clean
23         rm -f *~
24         rm -f dumpfiles
25         $(MAKE) -C reader distclean
26         $(MAKE) -C write distclean
27         $(MAKE) -C codewriter distclean
28         $(MAKE) -C canonxml distclean
29         $(MAKE) -C negative distclean
30
31 dumpfiles: dumpfiles.ml
32         ocamlc -o dumpfiles dumpfiles.ml