PACKAGE = acic_content PREDICATES = INTERFACE_FILES = \ content.mli \ contentPp.mli \ acic2content.mli \ content2cic.mli \ cicNotationUtil.mli \ cicNotationEnv.mli \ cicNotationPp.mli \ acic2astMatcher.mli \ termAcicContent.mli \ $(NULL) IMPLEMENTATION_FILES = \ cicNotationPt.ml \ $(INTERFACE_FILES:%.mli=%.ml) include ../../Makefile.defs include ../Makefile.common