]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
tex notation for compatibility with texTermEditor
[helm.git] / helm / http_getter / Makefile
index be5ff627fdd80c2e205ba513a3241e350661dba8..4689159e9d787c059cc6ebdbd61f95cb87de2e18 100644 (file)
@@ -1,22 +1,21 @@
-VERSION = 0.2.1
+VERSION = 0.2.2
 NAME = http_getter
 
 DISTDIR = http-getter-$(VERSION)
 EXTRA_DIST = AUTHORS COPYING NEWS README BUGS
 DOCS = doc/http_getter.conf.xml.sample
 
-REQUIRES = http dbm pcre netclient pxp shell threads zip
+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)   \