PACKAGE = getter REQUIRES = pxp netclient helm-urimanager PREDICATES = INTERFACE_FILES = configuration.mli clientHTTP.mli getter.mli IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) EXTRA_OBJECTS_TO_INSTALL = EXTRA_OBJECTS_TO_CLEAN = include ../Makefile.common