First release checked in

[helm.git] / helm / graphs / tools / simplify_deps / Makefile

diff --git a/helm/graphs/tools/simplify_deps/Makefile b/helm/graphs/tools/simplify_deps/Makefile
new file mode 100644 (file)
index 0000000..c564819
--- /dev/null
+++ b/helm/graphs/tools/simplify_deps/Makefile
@@ -0,0 +1,12 @@
+OBJS = simplify_deps simplify_deps.opt
+
+all: $(OBJS)
+
+simplify_deps: simplify_deps.ml
+       ocamlc /usr/lib/ocaml/str.cma simplify_deps.ml -o simplify_deps
+
+simplify_deps.opt: simplify_deps.ml
+       ocamlopt /usr/lib/ocaml/str.cmxa simplify_deps.ml -o simplify_deps.opt
+
+clean:
+       rm -f $(OBJS) simplify_deps.cm[iox] simplify_deps.o