From: Claudio Sacerdoti Coen Date: Mon, 10 Jun 2002 17:35:07 +0000 (+0000) Subject: pgocaml ==> postgres X-Git-Tag: V_0_3_0_debian_8~55 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1445bbed27591dab1d364153dfcd68b534e3f71f;p=helm.git pgocaml ==> postgres Note: a debian package is now available on Zack debian repository In case you don't use the debian package and postgres is not found, just make a symbol link from postgres to pgocaml. --- diff --git a/helm/ocaml/META.helm-mathql_interpreter.src b/helm/ocaml/META.helm-mathql_interpreter.src index 1d5f71e60..8cc8c445c 100644 --- a/helm/ocaml/META.helm-mathql_interpreter.src +++ b/helm/ocaml/META.helm-mathql_interpreter.src @@ -1,4 +1,4 @@ -requires="helm-urimanager pgocaml" +requires="helm-urimanager postgres" version="0.0.1" archive(byte)="mathql_interpreter.cma" archive(native)="mathql_interpreter.cmxa" diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile index 28c71737d..f57141358 100644 --- a/helm/ocaml/mathql_interpreter/Makefile +++ b/helm/ocaml/mathql_interpreter/Makefile @@ -1,5 +1,5 @@ PACKAGE = mathql_interpreter -REQUIRES = helm-urimanager pgocaml unix helm-mathql +REQUIRES = helm-urimanager postgres unix helm-mathql PREDICATES = INTERFACE_FILES = dbconn.mli eval.mli utility.mli func.mli diff.mli \