]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
ocaml 3.09 transition
[helm.git] / helm / http_getter / Makefile
index 94668953e0f2a0391884ffc7ccacf371c6f39b09..d7b1089af45d31a22cd9fbc27e745f72e79f0c0c 100644 (file)
@@ -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)