helm/software/components/ng_library/Makefile

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