2 REQUIRES = helm-cic helm-cic_textual_parser
5 INTERFACE_FILES = mQueryMisc.mli mQueryUtil.mli
7 IMPLEMENTATION_FILES = mQueryMisc.ml mathQL.ml mQueryUtil.ml
9 EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi
11 EXTRA_OBJECTS_TO_CLEAN =
13 include ../Makefile.common