From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 11 Feb 2004 12:02:23 +0000 (+0000)
Subject: new metas (getter's backend, registry, logger, and the hell)
X-Git-Tag: V_0_3_0~20
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=761615c511a062d02c19aa1099318bc6d492b5cf;p=helm.git

new metas (getter's backend, registry, logger, and the hell)
---

diff --git a/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src
index 38f5d1da9..f21ea6d02 100644
--- a/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src
+++ b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src
@@ -1,4 +1,4 @@
-requires="helm-cic_annotations"
+requires="helm-cic_annotations helm-getter"
 version="0.0.1"
 archive(byte)="cic_annotations_cache.cma"
 archive(native)="cic_annotations_cache.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-cic_cache.src b/helm/ocaml/METAS/meta.helm-cic_cache.src
index 28ea57e35..6aacb1ae2 100644
--- a/helm/ocaml/METAS/meta.helm-cic_cache.src
+++ b/helm/ocaml/METAS/meta.helm-cic_cache.src
@@ -1,4 +1,4 @@
-requires="helm-cic"
+requires="helm-cic helm-getter"
 version="0.0.1"
 archive(byte)="cic_cache.cma"
 archive(native)="cic_cache.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-cic_proof_checking.src b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src
index 08b099ec3..223a182a9 100644
--- a/helm/ocaml/METAS/meta.helm-cic_proof_checking.src
+++ b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src
@@ -1,4 +1,4 @@
-requires="helm-cic"
+requires="helm-cic helm-logger helm-getter"
 version="0.0.1"
 archive(byte)="cic_proof_checking.cma"
 archive(native)="cic_proof_checking.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-cic_transformations.src b/helm/ocaml/METAS/meta.helm-cic_transformations.src
index 44bb0999c..213f09234 100644
--- a/helm/ocaml/METAS/meta.helm-cic_transformations.src
+++ b/helm/ocaml/METAS/meta.helm-cic_transformations.src
@@ -1,4 +1,4 @@
-requires="helm-xml helm-cic_proof_checking helm-cic_omdoc gdome2-xslt"
+requires="helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2-xslt"
 version="0.0.1"
 archive(byte)="cic_transformations.cma"
 archive(native)="cic_transformations.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-getter.src b/helm/ocaml/METAS/meta.helm-getter.src
index a2ff9433d..354976371 100644
--- a/helm/ocaml/METAS/meta.helm-getter.src
+++ b/helm/ocaml/METAS/meta.helm-getter.src
@@ -1,4 +1,4 @@
-requires="helm-urimanager pxp http"
+requires="http dbm pcre pxp shell zip helm-logger helm-thread helm-urimanager helm-registry"
 version="0.0.1"
 archive(byte)="getter.cma"
 archive(native)="getter.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-logger.src b/helm/ocaml/METAS/meta.helm-logger.src
index be0d891d8..5b2e8d8ff 100644
--- a/helm/ocaml/METAS/meta.helm-logger.src
+++ b/helm/ocaml/METAS/meta.helm-logger.src
@@ -1,4 +1,4 @@
-requires="lablgtk2 helm-urimanager"
+requires=""
 version="0.0.1"
 archive(byte)="logger.cma"
 archive(native)="logger.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-pxp.src b/helm/ocaml/METAS/meta.helm-pxp.src
index 33210a77d..1a05b5459 100644
--- a/helm/ocaml/METAS/meta.helm-pxp.src
+++ b/helm/ocaml/METAS/meta.helm-pxp.src
@@ -1,4 +1,4 @@
-requires="helm-getter"
+requires="helm-getter pxp"
 version="0.0.1"
 archive(byte)="pxp.cma"
 archive(native)="pxp.cmxa"