]> matita.cs.unibo.it Git - helm.git/commitdiff
uses relative OCAMLPATH
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 1 Jul 2005 14:56:59 +0000 (14:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 1 Jul 2005 14:56:59 +0000 (14:56 +0000)
helm/http_getter/Makefile

index f5d4355646d911275e0767d28565f7a52543ce5a..d7b1089af45d31a22cd9fbc27e745f72e79f0c0c 100644 (file)
@@ -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)