5 nCicEnvironment.mli nCicTypeChecker.mli nReference.mli oCicTypeChecker.mli oCic2NCic.mli nUri.mli nCicSubstitution.mli nCicUtils.mli
6 IMPLEMENTATION_FILES = \
7 nCic.ml $(INTERFACE_FILES:%.mli=%.ml)
8 EXTRA_OBJECTS_TO_INSTALL =
9 EXTRA_OBJECTS_TO_CLEAN =
12 include ../../Makefile.defs
13 include ../Makefile.common