[PPL-devel] [Fwd: Re: gmp-4.3.1 header and library version mismatch]

[Roberto Bagnara]

-------- 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 at gmx.de>
Reply-To: kwbes at online.de
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <200908251156.45852.kwbes at gmx.de> <4A94D216.8090805 at 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".




-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.bz2
Type: application/x-bz2
Size: 11500 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090826/87b541ff/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Attached Message Part
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090826/87b541ff/attachment.sig>