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