PACKAGE = ng_library PREDICATES = INTERFACE_FILES = \ nCic2OCic.mli \ oCic2NCic.mli \ nCicLibrary.mli IMPLEMENTATION_FILES = \ $(INTERFACE_FILES:%.mli=%.ml) EXTRA_OBJECTS_TO_INSTALL = EXTRA_OBJECTS_TO_CLEAN = %.cmo: OCAMLOPTIONS += -w Ae %.cmi: OCAMLOPTIONS += -w Ae %.cmx: OCAMLOPTIONS += -w Ae all: rt check %: %.ml $(PACKAGE).cma $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $< all.opt opt: rt.opt check.opt %.opt: %.ml $(PACKAGE).cmxa $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $< include ../../Makefile.defs include ../Makefile.common