PACKAGE = mathql REQUIRES = helm-cic helm-cic_textual_parser PREDICATES = INTERFACE_FILES = mQueryMisc.mli IMPLEMENTATION_FILES = mathQL.ml mQueryMisc.ml EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi EXTRA_OBJECTS_TO_CLEAN = include ../Makefile.common