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

[Roberto Bagnara]

Karl-Werner Beszus wrote:
> 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".

In config.log I see the following:

configure:16495: g++ -o conftest  -g -O2 -frounding-math -O3 -march=k8 -mtune=k8
  -D__SSE__ -D__SSE2__ -D__MMX__   -L/lib -L/usr/lib -L/usr/X11R6/lib -L/opt/kde3
/lib -L/opt/kde3/lib/kde3 -L/usr/lib/kde3 -L/opt/gnome/lib -L/usr/lib/mysql -L/o
pt/mono/lib conftest.cpp  /usr/lib/libgmpxx.so -L/usr/lib/gcc/i686-pc-linux-gnu/
../.. /usr/lib/libgmp.so >&5
configure:16499: $? = 0
configure:16505: ./conftest
GMP header (gmp.h) and library (ligmp.*) version mismatch:
header gives 4.3.1;
library gives 4.2.2.
configure:16509: $? = 1
configure: program exited with status 1

What I would do is to take conftest.cpp and compile it by hand, with a command
like like the above, but with the addition of -v.  This should tell you
where the GMP 4.2.2 library files are piched up from.
All the best,

    Roberto

-- 
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