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