PACKAGE = xmldiff REQUIRES = gdome2 PREDICATES = INTERFACE_FILES = xmlDiff.mli IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) EXTRA_OBJECTS_TO_INSTALL = EXTRA_OBJECTS_TO_CLEAN = include ../Makefile.common