PACKAGE = ng_kernel PREDICATES = INTERFACE_FILES = \ nUri.mli \ nReference.mli \ nCicPp.mli \ oCic2NCic.mli \ nCicUtils.mli \ nCicSubstitution.mli \ nCicEnvironment.mli \ nCicReduction.mli \ nCicTypeChecker.mli \ oCicTypeChecker.mli \ nCic2OCic.mli IMPLEMENTATION_FILES = \ nCic.ml $(INTERFACE_FILES:%.mli=%.ml) EXTRA_OBJECTS_TO_INSTALL = EXTRA_OBJECTS_TO_CLEAN = 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