-------- 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 -- Dr. Mark Poolman Post Doctoral Researcher Metabolic Control Analysis Group School of Biology and Molecular Science Oxford Brookes University -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it