branch for universe

[helm.git] / matita / dist / static_link / Makefile

diff --git a/matita/dist/static_link/Makefile b/matita/dist/static_link/Makefile
new file mode 100644 (file)
index 0000000..5a02bb3
--- /dev/null
+++ b/matita/dist/static_link/Makefile
@@ -0,0 +1,5 @@
+all: static_link
+static_link: static_link.ml
+       ocamlfind ocamlc -package unix,str -linkpkg -o $@ $<
+clean:
+       rm -f static_link.cm* static_link