PACKAGE = ng_kernel
PREDICATES =

INTERFACE_FILES = \
	nCicEnvironment.mli nCicTypeChecker.mli nReference.mli oCicTypeChecker.mli oCic2NCic.mli nUri.mli nCicSubstitution.mli nCicUtils.mli
IMPLEMENTATION_FILES = \
  nCic.ml $(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL = 
EXTRA_OBJECTS_TO_CLEAN =
OCAMLOPTIONS += -w Ae

include ../../Makefile.defs
include ../Makefile.common