PACKAGE = library PREDICATES = INTERFACE_FILES = \ cicElim.mli \ cicRecord.mli \ libraryMisc.mli \ libraryDb.mli \ coercDb.mli \ cicCoercion.mli \ coercGraph.mli \ librarySync.mli \ libraryNoDb.mli \ libraryClean.mli \ $(NULL) IMPLEMENTATION_FILES = \ $(INTERFACE_FILES:%.mli=%.ml) include ../Makefile.common