X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Fsimplify_deps%2FMakefile;fp=helm%2Fgraphs%2Ftools%2Fsimplify_deps%2FMakefile;h=c564819570d9179c05de3b09fed75c29cb6de7fd;hb=e85bc43c20254aa85463748eeb95e2e60ed0ccf1;hp=0000000000000000000000000000000000000000;hpb=1ffac96ddcc32469442f1b6d483fd9ed862107e8;p=helm.git

diff --git a/helm/graphs/tools/simplify_deps/Makefile b/helm/graphs/tools/simplify_deps/Makefile
new file mode 100644
index 000000000..c56481957
--- /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