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

[Roberto Bagnara]

On 05/11/11 00:05, rafael ff1 wrote:
> Hi there,

Hi Rafael.

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

What is the contents of the `config.log' file generated by the
`configure' script?
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it