]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/graphs/tools/Makefile
OCAMLPATH is not overrid if already defined
[helm.git] / daemons / graphs / tools / Makefile
index 0726670319c97eda7006eeeb0a78bc8d6a6aaabd..bd473431a0bd420fcda7d33878b7290b56a337c3 100644 (file)
@@ -6,8 +6,13 @@ SED=cat
 REQUIRES = http helm-registry
 PREDICATES = mt
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
-OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
-OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
+ifeq ($(origin OCAMLPATH), undefined)
+OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
+else
+OCAMLFIND = ocamlfind
+endif
+OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
 EXECUTABLES = uriSetQueue drawGraph
 EXECUTABLES_OPT = $(patsubst %,%.opt,$(EXECUTABLES))