]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/http_getter/Makefile
OCAMLPATH is no longer overrid if already set in current environment
[helm.git] / daemons / http_getter / Makefile
index e8e9280d599b02691574414ee925c2d3a29ff7e9..4f0438fde1b5312d760f8196ba469b8c8469656d 100644 (file)
@@ -3,7 +3,11 @@ NAME = http_getter
 
 REQUIRES = helm-getter helm-logger helm-registry netstring
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -thread
+ifeq ($(origin OCAMLPATH), undefined)
 OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
+else
+OCAMLFIND = ocamlfind
+endif
 OCAMLC = $(OCAMLFIND) ocamlc -g $(COMMONOPTS)
 OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)