X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;h=d7b1089af45d31a22cd9fbc27e745f72e79f0c0c;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=f5d4355646d911275e0767d28565f7a52543ce5a;hpb=07b89f0a77a8099cda7b53b4babdf9511966d8fd;p=helm.git

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index f5d435564..d7b1089af 100644
--- a/helm/http_getter/Makefile
+++ b/helm/http_getter/Makefile
@@ -3,7 +3,7 @@ NAME = http_getter
 
 REQUIRES = helm-getter helm-logger helm-registry netstring
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -thread
-OCAMLFIND = ocamlfind
+OCAMLFIND = OCAMLPATH=../ocaml/METAS ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc -g $(COMMONOPTS)
 OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)