]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/examples/simple_transformation/Makefile
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / pxp / pxp / examples / simple_transformation / Makefile
diff --git a/helm/DEVEL/pxp/pxp/examples/simple_transformation/Makefile b/helm/DEVEL/pxp/pxp/examples/simple_transformation/Makefile
deleted file mode 100644 (file)
index 27be18c..0000000
+++ /dev/null
@@ -1,21 +0,0 @@
-all: print sort delcol
-
-print: print.ml
-       ocamlfind ocamlc -o print -package pxp -linkpkg -custom \
-               -predicates pxp_without_utf8 print.ml
-
-sort: sort.ml
-       ocamlfind ocamlc -o sort -package pxp -linkpkg -custom \
-               -predicates pxp_without_utf8 sort.ml
-
-delcol: delcol.ml
-       ocamlfind ocamlc -o delcol -package pxp -linkpkg -custom \
-               -predicates pxp_without_utf8 delcol.ml
-
-clean:
-       rm -f *.cmo *.cma *.cmi *.cmxa *.a *.o
-
-distclean: clean
-       rm -f *~ print sort delcol
-
-CLEAN: clean