]> matita.cs.unibo.it Git - helm.git/commitdiff
findlib introduced
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jun 2003 14:44:39 +0000 (14:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jun 2003 14:44:39 +0000 (14:44 +0000)
helm/graphs/tools/simplify_deps/Makefile

index c564819570d9179c05de3b09fed75c29cb6de7fd..7395c8c9b41676756d7ebf7fbd3185b1cf8cf950 100644 (file)
@@ -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