-------- Original Message -------- Subject: Re: [PPL-devel] install bug Date: 30 Jun 2003 14:57:22 +0100 From: Mark Poolman mgpoolman@brookes.ac.uk To: Roberto Bagnara bagnara@cs.unipr.it References: 1056978922.15613.122.camel@sofa 3F003E45.3050401@cs.unipr.it

On Mon, 2003-06-30 at 14:42, Roberto Bagnara wrote:

Dear Mark,

while you have a version of GMP installed on your system, this version has been built with the C++ interface enabled. Unfortunately, distributors still tend to ship RPM packages for GMP with this problem, regularly dismaying C++ programmers. You will thus have to build GMP by yourself, using a configure command like

/wherever/gmp-4.1.2/configure --prefix=/usr/local --enable-cxx

(notice the `--enable-cxx', as recommended, in the error message above).

Many thanks. I did notice the --enable-cxx but wasn't sure if it reffered to gmp or ppl. My fault entirely.

Best wishes,

Mark