PACKAGE = ng_disambiguation
PREDICATES =
-INTERFACE_FILES = \
- nDisambiguate.mli nGrafiteDisambiguator.mli\
+INTERFACE_FILES = nCicDisambiguate.mli
IMPLEMENTATION_FILES = \
$(INTERFACE_FILES:%.mli=%.ml)
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 $@ $<