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