PACKAGE = mathql PREDICATES = INTERFACE_FILES = IMPLEMENTATION_FILES = mathQL.ml EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi EXTRA_OBJECTS_TO_CLEAN = include ../Makefile.common