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         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 check
  23 %: %.ml $(PACKAGE).cma
  24         $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
  25 all.opt opt: rt.opt check.opt
  26 %.opt: %.ml $(PACKAGE).cmxa
  27         $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $<
  28
  29
  30 include ../../Makefile.defs
  31 include ../Makefile.common