X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;h=4689159e9d787c059cc6ebdbd61f95cb87de2e18;hb=3128b6ab6540bcf3d099e2fcc591bebe94ed6e62;hp=c9e1a3bc5a8395eb64d6b66ac33137c60b352111;hpb=2cc3fd2e990f36f3b389e7184213b87d437a43ba;p=helm.git diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile index c9e1a3bc5..4689159e9 100644 --- a/helm/http_getter/Makefile +++ b/helm/http_getter/Makefile @@ -1,26 +1,29 @@ -VERSION = 0.2.1 +VERSION = 0.2.2 NAME = http_getter + DISTDIR = http-getter-$(VERSION) -REQUIRES = http dbm pcre netclient pxp shell threads zip +EXTRA_DIST = AUTHORS COPYING NEWS README BUGS +DOCS = doc/http_getter.conf.xml.sample + +REQUIRES = http dbm pcre pxp shell threads zip COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o OCAMLFIND = ocamlfind -OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS) -OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS) +OCAMLC = $(OCAMLFIND) ocamlc -thread $(COMMONOPTS) +OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(COMMONOPTS) OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS) OCAMLDOC = \ ocamldoc \ $(shell $(OCAMLFIND) query -i-format http) \ $(shell $(OCAMLFIND) query -i-format dbm) \ $(shell $(OCAMLFIND) query -i-format pcre) \ - $(shell $(OCAMLFIND) query -i-format netclient) \ $(shell $(OCAMLFIND) query -i-format pxp) \ $(shell $(OCAMLFIND) query -i-format shell) \ $(shell $(OCAMLFIND) query -i-format threads) \ $(shell $(OCAMLFIND) query -i-format zip) MODULES = \ - http_getter_debugger threadSafe \ - http_getter_types http_getter_misc http_getter_const \ - http_getter_env http_getter_common http_getter_map \ + http_getter_debugger threadSafe \ + http_getter_types zack http_getter_misc http_getter_const \ + http_getter_env http_getter_common http_getter_map \ http_getter_cache OBJS = $(patsubst %,%.cmo,$(MODULES)) @@ -58,15 +61,27 @@ distclean: clean clean: rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot dist: distclean depend + if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi mkdir $(DISTDIR)/ + mkdir $(DISTDIR)/doc + cp $(DOCS) $(DISTDIR)/doc/ + for m in $(patsubst %, %.mli, $(MODULES)); do \ + if [ "$$m" != "http_getter_types.mli" ]; then \ + cp $$m $(DISTDIR)/; \ + fi; \ + done cp \ $(patsubst %, %.ml, $(MODULES)) \ - $(patsubst %, %.mli, $(MODULES)) \ $(NAME).ml \ - Makefile .depend \ + Makefile Makefile.overrides .depend \ $(DISTDIR)/ + cp $(EXTRA_DIST) $(DISTDIR)/ tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/ rm -rf $(DISTDIR)/ +distcheck: dist + tar xvzf $(DISTDIR).tar.gz + cd $(DISTDIR); make + rm -rf $(DISTDIR) -.PHONY: all byte opt world depend clean +.PHONY: all byte dist distcheck opt world depend clean distclean