PACKAGE = getter
REQUIRES = \
- http dbm pcre shell zip \
- helm-pxp helm-thread helm-logger helm-urimanager helm-registry
+ http unix pcre zip \
+ helm-xml helm-logger helm-urimanager helm-registry
-INTERFACE_FILES = \
- tree.mli \
- clientHTTP.mli \
- http_getter_logger.mli \
- http_getter_misc.mli \
- http_getter_const.mli \
- http_getter_env.mli \
- http_getter_md5.mli \
- http_getter_common.mli \
- http_getter_map.mli \
- http_getter_cache.mli \
- http_getter.mli
+INTERFACE_FILES = \
+ http_getter_wget.mli \
+ http_getter_logger.mli \
+ http_getter_misc.mli \
+ http_getter_const.mli \
+ http_getter_env.mli \
+ http_getter_storage.mli \
+ http_getter_common.mli \
+ http_getter.mli \
+ $(NULL)
IMPLEMENTATION_FILES = \
http_getter_types.ml \