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
  12 all:
  13 %: %.ml $(PACKAGE).cma
  14         $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
  15 all.opt opt:
  16 %.opt: %.ml $(PACKAGE).cmxa
  17         $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $<
  18
  19 include ../../Makefile.defs
  20 include ../Makefile.common
  21