helm/software/components/ng_kernel/Makefile

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