X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fhttp_getter%2FMakefile;h=4f0438fde1b5312d760f8196ba469b8c8469656d;hb=de0d7bddcaaafdf3ebf6ce9a632ab65bfd7e6910;hp=d7b1089af45d31a22cd9fbc27e745f72e79f0c0c;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/software/daemons/http_getter/Makefile b/helm/software/daemons/http_getter/Makefile
index d7b1089af..4f0438fde 100644
--- a/helm/software/daemons/http_getter/Makefile
+++ b/helm/software/daemons/http_getter/Makefile
@@ -3,7 +3,11 @@ NAME = http_getter
 
 REQUIRES = helm-getter helm-logger helm-registry netstring
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -thread
-OCAMLFIND = OCAMLPATH=../ocaml/METAS ocamlfind
+ifeq ($(origin OCAMLPATH), undefined)
+OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
+else
+OCAMLFIND = ocamlfind
+endif
 OCAMLC = $(OCAMLFIND) ocamlc -g $(COMMONOPTS)
 OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)