]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
Now applying ocaml transformations to sequents as well.
[helm.git] / helm / http_getter / Makefile
index 6584bda68bc90559ba15a9fc0a2ca643197db200..4689159e9d787c059cc6ebdbd61f95cb87de2e18 100644 (file)
@@ -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