PACKAGE = cic REQUIRES = helm-urimanager helm-pxp PREDICATES = INTERFACE_FILES = \ deannotate.mli cicParser3.mli cicParser2.mli cicParser.mli cicUtil.mli IMPLEMENTATION_FILES = \ cic.ml $(INTERFACE_FILES:%.mli=%.ml) helmLibraryObjects.ml EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi EXTRA_OBJECTS_TO_CLEAN = include ../Makefile.common