PACKAGE = getter
-REQUIRES = \
- http dbm pcre shell zip \
- helm-xml helm-thread helm-logger helm-urimanager helm-registry
-
INTERFACE_FILES = \
http_getter_wget.mli \
http_getter_logger.mli \
http_getter_env.mli \
http_getter_storage.mli \
http_getter_common.mli \
- http_getter_map.mli \
http_getter.mli \
$(NULL)
http_getter_types.ml \
$(INTERFACE_FILES:%.mli=%.ml)
+include ../../Makefile.defs
include ../Makefile.common