helm/software/components/ng_kernel/Makefile

   1 PACKAGE = ng_kernel
   2 PREDICATES =
   3
   4 INTERFACE_FILES = \
   5         nCicEnvironment.mli nCicTypeChecker.mli nReference.mli oCicTypeChecker.mli oCic2NCic.mli nUri.mli nCicSubstitution.mli nCicUtils.mli nCicReduction.mli
   6 IMPLEMENTATION_FILES = \
   7   nCic.ml $(INTERFACE_FILES:%.mli=%.ml)
   8 EXTRA_OBJECTS_TO_INSTALL =
   9 EXTRA_OBJECTS_TO_CLEAN =
  10 OCAMLOPTIONS += -w Ae
  11
  12 include ../../Makefile.defs
  13 include ../Makefile.common