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 38f5d1da9dc26aae6282e2419cf8a815b892cec6..f21ea6d02831723957abb3b2877a59eae5be67f8 100644 (file)
--- 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 28ea57e35c6768c8912511bad9798fdad2fb4d33..6aacb1ae28b4d885115a7e01a517b47566e77c07 100644 (file)
--- 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 08b099ec35402895d3eca5fe14bbbe99de7974f4..223a182a91e5e380e84384647bd3208bb329843a 100644 (file)
--- 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 44bb0999c69711b919fa029f7ac698dfba2eb165..213f09234e3b09013a0dbbb33b920d8ab463f0f4 100644 (file)
--- 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 a2ff9433daf9a191c54bd64b5f92e169a9e4014c..35497637180f0991b05908bfbd679f08cd738c29 100644 (file)
--- 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 be0d891d857625ca611176286f7332db56c8feee..5b2e8d8ff71236cbcc90171b56fded3fdf6ad412 100644 (file)
--- 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 33210a77de2fa5fdec6c18a53f7331e5945c6b49..1a05b5459e6957a856806bba0d127d9c35909289 100644 (file)
--- 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"