PACKAGE = mathql
REQUIRES = helm-cic
PREDICATES =

INTERFACE_FILES =

IMPLEMENTATION_FILES = mathQL.ml

EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi

EXTRA_OBJECTS_TO_CLEAN =

include ../Makefile.common