X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FMakefile;h=34ade20718136b8cfe8e878f76cab4261801e6d9;hb=78cf601fd8b8dbb386b0db315dcbfdbe8256c15f;hp=ef4ff8cc260aaf6dc570572b8d7b9e5cb69c223a;hpb=57603e5f5f5507c21ec7cb823e5bef708441b0d0;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index ef4ff8cc2..34ade2071 100644
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -3,7 +3,8 @@ PACKAGE = cic_textual_parser2
 REQUIRES = \
 	helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
 	ulex pxp camlp4.gramlib
-NOTATIONS = logic arit tex
+# 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