PACKAGE = lexicon PREDICATES = INTERFACE_FILES = \ lexiconAstPp.mli \ disambiguatePp.mli \ lexiconMarshal.mli \ cicNotation.mli \ lexiconEngine.mli \ lexiconSync.mli \ $(NULL) IMPLEMENTATION_FILES = \ lexiconAst.ml \ $(INTERFACE_FILES:%.mli=%.ml) include ../Makefile.common