[PPL-devel] Can't find GMP, but it's installed

[rafael ff1]

Hi there,

I read the README, but it didn't asnwered my question. So I'm asking
for help here...
I have a 64 system with PPL and GMP libraries installed in a default
location ("/usr/lib") for my distro, which is Archlinux. However, I'm
trying to compile 32-bit library of PPL in my system. The standard
multilib solution in my distro is to have 32 bit library in
"/usr/lib32". GMP libraries are inside this directory, compile with
"--enable-cxx". However, I can't make PPL find GPM with:
"--with-gmp-prefix=/usr" or
"--with-gmp-build=/usr" or
with "  export LD_LIBRARY_PATH="/usr/lib32:$LD_LIBRARY_PATH""

My configure command:
        ./configure --prefix=/usr --enable-interfaces="c,cxx"
--libdir=/usr/lib32 CC='gcc -m32' CXX='g++ -m32'
--with-gmp-prefix=/usr

What can I do to make it compile?

Thanks in Advance,

Rafael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fail-build.log
Type: text/x-log
Size: 6124 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110510/c9cb05fa/attachment.bin>