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

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index bf0c96ac8..f5d435564 100644
--- a/helm/http_getter/Makefile
+++ b/helm/http_getter/Makefile
@@ -1,8 +1,8 @@
 VERSION = 0.3.0
 NAME = http_getter
 
-REQUIRES = helm-getter helm-logger helm-registry
-COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
+REQUIRES = helm-getter helm-logger helm-registry netstring
+COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -thread
 OCAMLFIND = 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