PACKAGE = mathql
REQUIRES = helm-cic helm-cic_textual_parser
PREDICATES =

INTERFACE_FILES = mQueryMisc.mli mQueryUtil.mli 

IMPLEMENTATION_FILES = mQueryMisc.ml mathQL.ml mQueryUtil.ml

EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi

EXTRA_OBJECTS_TO_CLEAN =

include ../Makefile.common