This commit was manufactured by cvs2svn to create branch 'init'.

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

diff --git a/helm/DEVEL/pxp/pxp/rtests/Makefile b/helm/DEVEL/pxp/pxp/rtests/Makefile
deleted file mode 100644 (file)
index 653aaf2..0000000
--- a/helm/DEVEL/pxp/pxp/rtests/Makefile
+++ /dev/null
@@ -1,32 +0,0 @@
-.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