PACKAGE = cic
PREDICATES =

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

include ../../Makefile.defs
include ../Makefile.common