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