]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/graphs/tools/Makefile
half ported to the "new" module organization.
[helm.git] / daemons / graphs / tools / Makefile
index 0726670319c97eda7006eeeb0a78bc8d6a6aaabd..bef00fca356b88eba54d5fe30a6f9013028fdc21 100644 (file)
@@ -6,8 +6,9 @@ SED=cat
 REQUIRES = http helm-registry
 PREDICATES = mt
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
-OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
-OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
+OCAMLFIND = OCAMLPATH=../../../components/METAS/ ocamlfind
+OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
 EXECUTABLES = uriSetQueue drawGraph
 EXECUTABLES_OPT = $(patsubst %,%.opt,$(EXECUTABLES))