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
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