X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2FMakefile;h=99529c2d4595d7e446deef39d3bd336956ff5f65;hb=bbff1250ea4a6c74151ef00340983f2547b2e912;hp=af3674f66042d64dc5901acf25458861f7d491c8;hpb=1374bbf2975b043cd20666bea818528f5fcf8450;p=helm.git diff --git a/helm/ocaml/getter/Makefile b/helm/ocaml/getter/Makefile index af3674f66..99529c2d4 100644 --- a/helm/ocaml/getter/Makefile +++ b/helm/ocaml/getter/Makefile @@ -1,10 +1,27 @@ + PACKAGE = getter -REQUIRES = pxp helm-urimanager http -PREDICATES = -INTERFACE_FILES = configuration.mli clientHTTP.mli getter.mli -IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) -EXTRA_OBJECTS_TO_INSTALL = -EXTRA_OBJECTS_TO_CLEAN = +REQUIRES = \ + http dbm pcre shell zip \ + helm-pxp helm-thread helm-logger helm-urimanager helm-registry + +INTERFACE_FILES = \ + clientHTTP.mli \ + http_getter_logger.mli \ + http_getter_misc.mli \ + http_getter_const.mli \ + http_getter_env.mli \ + http_getter_common.mli \ + http_getter_map.mli \ + http_getter_cache.mli \ + http_getter.mli + +IMPLEMENTATION_FILES = \ + http_getter_types.ml \ + $(INTERFACE_FILES:%.mli=%.ml) include ../Makefile.common + +test: getter.cma test.ml + $(OCAMLC) -linkpkg -o $@ $^ +