added dep on Helm_registry

[helm.git] / helm / ocaml / cic_disambiguation / Makefile

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index ef4ff8cc260aaf6dc570572b8d7b9e5cb69c223a..537f1950469ecb836f70c0577f20ce36231806eb 100644 (file)
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -4,6 +4,7 @@ REQUIRES = \
        helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
        ulex pxp camlp4.gramlib
 NOTATIONS = logic arit tex
+# NOTATIONS = logic arit
 INTERFACE_FILES = \
        disambiguateTypes.mli \
        disambiguateChoices.mli \
@@ -68,6 +69,7 @@ extra_clean:
        rm -f test_lexer test_parser make_table
 
 include ../Makefile.common
+OCAMLARCHIVEOPTIONS += -linkall
 
 .PHONY: depend
 depend: cicTextualParser2Macro.cmi cicTextualParser2Macro.cmo pa_unicode_macro.cmi pa_unicode_macro.cmo