X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;h=d7b1089af45d31a22cd9fbc27e745f72e79f0c0c;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=94668953e0f2a0391884ffc7ccacf371c6f39b09;hpb=000234a18dd37e780907043e0d7405029078b0a7;p=helm.git diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile index 94668953e..d7b1089af 100644 --- a/helm/http_getter/Makefile +++ b/helm/http_getter/Makefile @@ -1,9 +1,9 @@ VERSION = 0.3.0 NAME = http_getter -REQUIRES = helm-getter helm-logger helm-registry +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)