X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;fp=helm%2Fhttp_getter%2FMakefile;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=94668953e0f2a0391884ffc7ccacf371c6f39b09;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
deleted file mode 100644
index 94668953e..000000000
--- a/helm/http_getter/Makefile
+++ /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
-