]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / http_getter / Makefile
diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
deleted file mode 100644 (file)
index 9466895..0000000
+++ /dev/null
@@ -1,31 +0,0 @@
-VERSION = 0.3.0
-NAME = http_getter
-
-REQUIRES = helm-getter helm-logger helm-registry
-COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -thread
-OCAMLFIND = 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
-