]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/simple_transformation/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / examples / simple_transformation / Makefile
1 all: print sort delcol
2
3 print: print.ml
4         ocamlfind ocamlc -o print -package pxp -linkpkg -custom \
5                 -predicates pxp_without_utf8 print.ml
6
7 sort: sort.ml
8         ocamlfind ocamlc -o sort -package pxp -linkpkg -custom \
9                 -predicates pxp_without_utf8 sort.ml
10
11 delcol: delcol.ml
12         ocamlfind ocamlc -o delcol -package pxp -linkpkg -custom \
13                 -predicates pxp_without_utf8 delcol.ml
14
15 clean:
16         rm -f *.cmo *.cma *.cmi *.cmxa *.a *.o
17
18 distclean: clean
19         rm -f *~ print sort delcol
20
21 CLEAN: clean