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

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