helm/software/components/ng_kernel/Makefile

   1 PACKAGE = ng_kernel
   2 PREDICATES =
   3
   4 INTERFACE_FILES = \
   5         nUri.mli \
   6         nReference.mli \
   7         oCic2NCic.mli  \
   8         nCicEnvironment.mli \
   9         nCicTypeChecker.mli \
  10         oCicTypeChecker.mli \
  11         nCicUtils.mli \
  12         nCicSubstitution.mli \
  13         nCicReduction.mli \
  14         nCic2OCic.mli
  15
  16 IMPLEMENTATION_FILES = \
  17   nCic.ml $(INTERFACE_FILES:%.mli=%.ml)
  18 EXTRA_OBJECTS_TO_INSTALL =
  19 EXTRA_OBJECTS_TO_CLEAN =
  20 OCAMLOPTIONS += -w Ae
  21
  22 all: rt
  23 rt: rt.ml $(PACKAGE).cma
  24         $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
  25
  26
  27 include ../../Makefile.defs
  28 include ../Makefile.common