PACKAGE = cic
REQUIRES = helm-urimanager helm-xml expat pxp-engine helm-pxp
PREDICATES =

INTERFACE_FILES = \
	cicUniv.mli		\
	deannotate.mli		\
	cicParser3.mli		\
	cicParser2.mli		\
	cicPxpParser.mli	\
	cicPushParser.mli	\
	cicParser.mli		\
	cicUtil.mli		\
	helmLibraryObjects.mli
IMPLEMENTATION_FILES = \
	cic.ml $(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
EXTRA_OBJECTS_TO_CLEAN =

include ../Makefile.common