cic_textual_parser2 -> cic_disambiguation

diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac
index ce2d8243210910bec0a9e35c4f29884b9458f737..22ee37491d65db8f3a6d11313a28f55bd3d90402 100644 (file)
--- a/helm/matita/configure.ac
+++ b/helm/matita/configure.ac
@@ -30,7 +30,7 @@ FINDLIB_DEPREQUIRES="\
 pcre \
 mysql \
 helm-registry \
-helm-cic_textual_parser2 \
+helm-cic_disambiguation \
 "
 FINDLIB_CLEANREQUIRES="$FINDLIB_DEPREQUIRES"
 FINDLIB_CREQUIRES="\

diff --git a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
new file mode 100644 (file)
index 0000000..19c9836
--- /dev/null
+++ b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
@@ -0,0 +1,3 @@
+description="alias for helm-cic_textual_parser2"
+requires="helm-cic_textual_parser2"
+version="0.0.1"

diff --git a/helm/ocaml/METAS/meta.helm-disambiguator.src b/helm/ocaml/METAS/meta.helm-disambiguator.src
deleted file mode 100644 (file)
index cbff9bb..0000000
--- a/helm/ocaml/METAS/meta.helm-disambiguator.src
+++ /dev/null
@@ -1,4 +0,0 @@
-description="alias for helm-cic_textual_parser2"
-requires="helm-cic_textual_parser2"
-version="0.0.1"
-directory="/"

diff --git a/helm/ocaml/METAS/meta.helm-paramodulation.src b/helm/ocaml/METAS/meta.helm-paramodulation.src
index 79d26ba033a4102957eb5327553a37c431931d20..57dedd068b8365859a8840a05124eebebb20b177 100644 (file)
--- a/helm/ocaml/METAS/meta.helm-paramodulation.src
+++ b/helm/ocaml/METAS/meta.helm-paramodulation.src
@@ -1,4 +1,4 @@
-requires="helm-registry helm-cic_transformations helm-tactics helm-cic_textual_parser2 mysql"
+requires="helm-registry helm-cic_transformations helm-tactics helm-cic_disambiguation mysql"
 version="0.0.1"
 archive(byte)="paramodulation.cma"
 archive(native)="paramodulation.cmxa"

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index cc4d94f10b44f4b9d5ca2c7f562372249f49b2de..2f3009462102aa36414b9b9d2a2e3e55f69b7bee 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -24,7 +24,7 @@ MODULES =                     \
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 OCAMLPATH = @OCAMLFIND_META_DIR@
 
-METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-disambiguator
+METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation
 
 all: metas $(MODULES:%=%.all)
 opt: metas $(MODULES:%=%.opt)

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index 064a1b2e1363fedd4064d0d9b72ddaa1106a3834..1c80b4e0af8a9113d22340a400cfc7de6831a335 100644 (file)
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -1,5 +1,5 @@
 
-PACKAGE = cic_textual_parser2
+PACKAGE = cic_disambiguation
 REQUIRES = \
        helm-tactics helm-logger helm-cic_unification helm-cic_notation \
        helm-utf8_macros \