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

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index bf0c96ac8..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
-COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
-OCAMLFIND = ocamlfind
+REQUIRES = helm-getter helm-logger helm-registry netstring
+COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -thread
+OCAMLFIND = OCAMLPATH=../ocaml/METAS ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc -g $(COMMONOPTS)
 OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)
 
@@ -12,12 +12,18 @@ byte: $(NAME)
 opt: $(NAME).opt
 world: byte opt
 
-$(NAME): main.ml
-	$(OCAMLC) -linkpkg -thread -o $@ $^
-$(NAME).opt: main.ml
-	$(OCAMLOPT) -linkpkg -thread -o $@ $^
+$(NAME): buildTimeOpts.cmo main.ml
+	$(OCAMLC) -linkpkg -o $@ $^
+$(NAME).opt: buildTimeOpts.cmx main.ml
+	$(OCAMLOPT) -linkpkg -o $@ $^
+
+%.cmo: %.ml
+	$(OCAMLC) -c $<
+%.cmx: %.ml
+	$(OCAMLOPT) -c $<
 
 distclean: clean
+	rm -f buildTimeOpts.ml
 clean:
 	rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot