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