From 1445bbed27591dab1d364153dfcd68b534e3f71f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 10 Jun 2002 17:35:07 +0000 Subject: [PATCH] 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. --- helm/ocaml/META.helm-mathql_interpreter.src | 2 +- helm/ocaml/mathql_interpreter/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 \ -- 2.39.2