From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 19 Apr 2004 12:10:37 +0000 (+0000)
Subject: reorganized metas so that pxp is references only through helm-pxp
X-Git-Tag: dead_dir_walking~30
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3beabd7848d0567539a0883c06b5b5408bbbaaa7;p=helm.git

reorganized metas so that pxp is references only through helm-pxp
---

diff --git a/helm/ocaml/METAS/meta.helm-getter.src b/helm/ocaml/METAS/meta.helm-getter.src
index 354976371..14c542836 100644
--- a/helm/ocaml/METAS/meta.helm-getter.src
+++ b/helm/ocaml/METAS/meta.helm-getter.src
@@ -1,4 +1,4 @@
-requires="http dbm pcre pxp shell zip helm-logger helm-thread helm-urimanager helm-registry"
+requires="http dbm pcre shell zip helm-pxp 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-mathql_interpreter.src b/helm/ocaml/METAS/meta.helm-mathql_interpreter.src
index 1584b3cff..27ebe5776 100644
--- a/helm/ocaml/METAS/meta.helm-mathql_interpreter.src
+++ b/helm/ocaml/METAS/meta.helm-mathql_interpreter.src
@@ -1,4 +1,4 @@
-requires="helm-cic helm-cic_textual_parser postgres mysql helm-mathql"
+requires="helm-cic helm-cic_textual_parser postgres mysql helm-mathql helm-registry"
 #natile-galax 
 version="1.3"
 archive(byte)="mathql_interpreter.cma"
diff --git a/helm/ocaml/METAS/meta.helm-pxp.src b/helm/ocaml/METAS/meta.helm-pxp.src
index 1a05b5459..6949a5712 100644
--- a/helm/ocaml/METAS/meta.helm-pxp.src
+++ b/helm/ocaml/METAS/meta.helm-pxp.src
@@ -1,4 +1,4 @@
-requires="helm-getter pxp"
+requires="pxp-engine pxp-lex-utf8 pxp-lex-iso88591 pxp-lex-iso885915 http"
 version="0.0.1"
 archive(byte)="pxp.cma"
 archive(native)="pxp.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-registry.src b/helm/ocaml/METAS/meta.helm-registry.src
index baaac5ec5..505ff1846 100644
--- a/helm/ocaml/METAS/meta.helm-registry.src
+++ b/helm/ocaml/METAS/meta.helm-registry.src
@@ -1,4 +1,4 @@
-requires="str netstring pxp"
+requires="str netstring helm-pxp"
 version="0.0.1"
 archive(byte)="registry.cma"
 archive(native)="registry.cmxa"