]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/netstring/tools/unimap_to_ocaml/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / tools / unimap_to_ocaml / Makefile
1 all: unimap_to_ocaml
2
3 unimap_to_ocaml: unimap_to_ocaml.ml
4         ocamlfind ocamlc -g -package str -linkpkg -custom \
5                 -o unimap_to_ocaml \
6                 unimap_to_ocaml.ml
7
8 clean:
9         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
10
11 CLEAN: clean
12
13 distclean: clean
14         rm -f *~ unimap_to_ocaml
15