]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
- addead autoconf-iguration. Actually it only set the default runtime
[helm.git] / helm / http_getter / Makefile
index bf0c96ac863b6f95b77dcaf8880a880b102e7688..94668953e0f2a0391884ffc7ccacf371c6f39b09 100644 (file)
@@ -2,7 +2,7 @@ VERSION = 0.3.0
 NAME = http_getter
 
 REQUIRES = helm-getter helm-logger helm-registry
-COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
+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