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

INTERFACE_FILES = \
        unshare.mli             \
	cicUniv.mli		\
	deannotate.mli		\
	cicParser.mli		\
	cicUtil.mli		\
	helmLibraryObjects.mli  \
        libraryObjects.mli
IMPLEMENTATION_FILES = \
	cic.ml $(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
EXTRA_OBJECTS_TO_CLEAN =

include ../Makefile.common