From 359a1bd5ae0e0a1495573e087b3ce29cd2dd442e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 12 Sep 2005 16:35:36 +0000 Subject: [PATCH] cic_textual_parser2 -> cic_disambiguation --- helm/matita/configure.ac | 2 +- ....helm-disambiguator.src => meta.helm-cic_disambiguation.src} | 1 - helm/ocaml/METAS/meta.helm-paramodulation.src | 2 +- helm/ocaml/Makefile.in | 2 +- helm/ocaml/cic_disambiguation/Makefile | 2 +- 5 files changed, 4 insertions(+), 5 deletions(-) rename helm/ocaml/METAS/{meta.helm-disambiguator.src => meta.helm-cic_disambiguation.src} (87%) 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-disambiguator.src b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src similarity index 87% rename from helm/ocaml/METAS/meta.helm-disambiguator.src rename to helm/ocaml/METAS/meta.helm-cic_disambiguation.src index cbff9bbcc..19c983609 100644 --- a/helm/ocaml/METAS/meta.helm-disambiguator.src +++ b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src @@ -1,4 +1,3 @@ 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 \ -- 2.39.2