]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/netstring/tools/unimap_to_ocaml/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / netstring / tools / unimap_to_ocaml / Makefile
diff --git a/helm/DEVEL/pxp/netstring/tools/unimap_to_ocaml/Makefile b/helm/DEVEL/pxp/netstring/tools/unimap_to_ocaml/Makefile
new file mode 100644 (file)
index 0000000..ed42773
--- /dev/null
@@ -0,0 +1,15 @@
+all: unimap_to_ocaml
+
+unimap_to_ocaml: unimap_to_ocaml.ml
+       ocamlfind ocamlc -g -package str -linkpkg -custom \
+               -o unimap_to_ocaml \
+               unimap_to_ocaml.ml
+
+clean:
+       rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
+
+CLEAN: clean
+
+distclean: clean
+       rm -f *~ unimap_to_ocaml
+