+++ /dev/null
-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