From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 12 Sep 2005 16:35:36 +0000 (+0000)
Subject: cic_textual_parser2 -> cic_disambiguation
X-Git-Tag: V_0_1_2_1~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=359a1bd5ae0e0a1495573e087b3ce29cd2dd442e;p=helm.git

cic_textual_parser2 -> cic_disambiguation
---

diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac
index ce2d82432..22ee37491 100644
--- 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
index 000000000..19c983609
--- /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
index cbff9bbcc..000000000
--- 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 79d26ba03..57dedd068 100644
--- 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 cc4d94f10..2f3009462 100644
--- 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 064a1b2e1..1c80b4e0a 100644
--- 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 \