PACKAGE = cic
-REQUIRES = helm-urimanager helm-xml expat
PREDICATES =
INTERFACE_FILES = \
cicParser.mli \
cicUtil.mli \
helmLibraryObjects.mli \
- matitaLibraryObjects.mli \
libraryObjects.mli
IMPLEMENTATION_FILES = \
cic.ml $(INTERFACE_FILES:%.mli=%.ml)