From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Jun 2003 14:44:39 +0000 (+0000)
Subject: findlib introduced
X-Git-Tag: V7_3_new_exportation_merged~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe52a851c5f11bc6974c0f3aa4db48c545b4c52c;p=helm.git

findlib introduced
---

diff --git a/helm/graphs/tools/simplify_deps/Makefile b/helm/graphs/tools/simplify_deps/Makefile
index c56481957..7395c8c9b 100644
--- a/helm/graphs/tools/simplify_deps/Makefile
+++ b/helm/graphs/tools/simplify_deps/Makefile
@@ -3,10 +3,10 @@ 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
+	ocamlfind ocamlc -package str -linkpkg 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
+	ocamlfind ocamlopt -package str -linkpkg simplify_deps.ml -o simplify_deps.opt
 
 clean:
 	rm -f $(OBJS) simplify_deps.cm[iox] simplify_deps.o