-------- Original Message -------- Subject: Re: [PPL-devel] gmp-4.3.1 header and library version mismatch Date: Wed, 26 Aug 2009 18:16:09 +0200 From: Karl-Werner Beszus kwbes@gmx.de Reply-To: kwbes@online.de To: Roberto Bagnara bagnara@cs.unipr.it References: 200908251156.45852.kwbes@gmx.de 4A94D216.8090805@cs.unipr.it
Am Mittwoch, 26. August 2009 08:11 hast du geschrieben "Re: [PPL-devel] gmp-4.3.1 header and library version mismatch":
Hi Karl-Werner,
perhaps you have two installation of GMP in your system? I would need to see the config.log file to tell you better. Please send it in compressed form.
You are right in that, that there are more libgmp* on my system, than just the ones in /usr/lib. Especially "openssl" and "sse2" uses there own ones in separate dirs, but the compiletest is explicitly done with: "g++ -o conftest conftest.cpp /usr/lib/libgmpxx.so /usr/lib/libgmp.so", which points to libgmp.so.3.5.0 and libgmpxx.so.4.1.0 (in /usr/lib of course).
Anyhow, attached you find the requested "config.log".