]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/simplify_deps/Makefile
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / graphs / tools / simplify_deps / Makefile
diff --git a/helm/graphs/tools/simplify_deps/Makefile b/helm/graphs/tools/simplify_deps/Makefile
deleted file mode 100644 (file)
index 7395c8c..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-OBJS = simplify_deps simplify_deps.opt
-
-all: $(OBJS)
-
-simplify_deps: simplify_deps.ml
-       ocamlfind ocamlc -package str -linkpkg simplify_deps.ml -o simplify_deps
-
-simplify_deps.opt: simplify_deps.ml
-       ocamlfind ocamlopt -package str -linkpkg simplify_deps.ml -o simplify_deps.opt
-
-clean:
-       rm -f $(OBJS) simplify_deps.cm[iox] simplify_deps.o