]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/daemons/http_getter/Makefile
daemons tamed
[helm.git] / helm / software / daemons / http_getter / Makefile
diff --git a/helm/software/daemons/http_getter/Makefile b/helm/software/daemons/http_getter/Makefile
new file mode 100644 (file)
index 0000000..d7b1089
--- /dev/null
@@ -0,0 +1,31 @@
+VERSION = 0.3.0
+NAME = http_getter
+
+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)
+
+all: byte
+byte: $(NAME)
+opt: $(NAME).opt
+world: byte opt
+
+$(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
+
+.PHONY: all byte opt world clean distclean
+