Initial revision

[helm.git] / helm / DEVEL / pxp / pxp / rtests / Makefile

diff --git a/helm/DEVEL/pxp/pxp/rtests/Makefile b/helm/DEVEL/pxp/pxp/rtests/Makefile
new file mode 100644 (file)
index 0000000..653aaf2
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/Makefile
@@ -0,0 +1,32 @@
+.PHONY: all
+all:
+       $(MAKE) -C reader
+       $(MAKE) -C write
+       $(MAKE) -C codewriter
+       $(MAKE) -C canonxml
+       $(MAKE) -C negative
+
+.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
+
+.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
+
+dumpfiles: dumpfiles.ml
+       ocamlc -o dumpfiles dumpfiles.ml