]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/examples/simple_transformation/Makefile
Initial revision
[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
new file mode 100644 (file)
index 0000000..27be18c
--- /dev/null
@@ -0,0 +1,21 @@
+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