matita/components/ng_library/Makefile

   1 PACKAGE = ng_library
   2 PREDICATES =
   3
   4 INTERFACE_FILES = \
   5         nCicLibrary.mli
   6
   7 IMPLEMENTATION_FILES = \
   8   $(INTERFACE_FILES:%.mli=%.ml)
   9 EXTRA_OBJECTS_TO_INSTALL =
  10 EXTRA_OBJECTS_TO_CLEAN =
  11 %.cmo: OCAMLOPTIONS += -w Ae
  12 %.cmi: OCAMLOPTIONS += -w Ae
  13 %.cmx: OCAMLOPTIONS += -w Ae
  14
  15 all:
  16 %: %.ml $(PACKAGE).cma
  17         $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
  18 all.opt opt:
  19 %.opt: %.ml $(PACKAGE).cmxa
  20         $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $<
  21
  22 include ../../Makefile.defs
  23 include ../Makefile.common
  24