X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;h=4689159e9d787c059cc6ebdbd61f95cb87de2e18;hb=4be3764541d8caa00737a686156907e7f2ae720c;hp=6584bda68bc90559ba15a9fc0a2ca643197db200;hpb=8bf913a678dcc31b84096879e57c0b5bd2584f19;p=helm.git diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile index 6584bda68..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)) @@ -60,6 +63,8 @@ clean: 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)/; \ @@ -70,6 +75,7 @@ dist: distclean depend $(NAME).ml \ Makefile Makefile.overrides .depend \ $(DISTDIR)/ + cp $(EXTRA_DIST) $(DISTDIR)/ tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/ rm -rf $(DISTDIR)/ distcheck: dist