PACKAGE = mathql
REQUIRES = 

PREDICATES =

INTERFACE_FILES = mQueryUtil.mli listAvs.mli avsUtil.mli 

IMPLEMENTATION_FILES = mQueryUtil.ml avs.ml listAvs.ml mathQL.ml avsUtil.ml 

EXTRA_OBJECTS_TO_INSTALL = avs.ml avs.cmi mathQL.ml mathQL.cmi

EXTRA_OBJECTS_TO_CLEAN =

include ../Makefile.common