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

INTERFACE_FILES = \
	cicUniv.mli	\
	deannotate.mli	\
	cicParser3.mli	\
	cicParser2.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