[PPL-devel] Re: installation problem.

[Roberto Bagnara]

nitinsk at cfdvs.iitb.ac.in wrote:
>    good to hear from you again. i checked the contents of /usr/local/lib
> for gmp libraries and got to know that though the file names that you mentioned
> the names on my machine, their sizes did not match. let me print the sizes of
> the different files here.

Hello Nitin,

the sizes do not matter.  The GMP's configuration mechanism tries to
figure out which CPU is used on the host on which compilation takes place
(when not cross-compiling, of course) and causes the use of specialized code
for that CPU.  So, if you have, say, a Pentium III the sizes will be
different from mine, since I have an Athlon.

 > [...]
 >
> also the linker picks the correct libgmpxx.so (i.e from /usr/local/lib).
> i am attaching the output of this command with this mail.

You forgot to attach the output.  And it is important because the next
suspect is failure to link with the right libstdc++.
Cheers

     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