[PPL-devel] ppl-0.10 configuration problem

[Roberto Bagnara]

Saurav Pathak wrote:
> I am trying to configure ppl-0.10 and the configure script complains 
> that the GMP version is wrong, even though it correctly identifies the 
> GMP 4.2.4 library files.  Is it possible that an older version of GMP, 
> lying around is interfering with the configuration (I have an older 
> version in /usr/lib64, whereas the newest one is installed in 
> /usr/local).  The script gives me the following message before exiting:
> 
> checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath 
> -Wl,/usr/local/lib
> checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so 
> /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath 
> -Wl,/usr/local/lib
> checking for the GMP library version 4.1.3 or above... no
> configure: error: Cannot find GMP version 4.1.3 or higher.
> 
> My configure command is:
> ./configure --prefix=/home/saurav/local --with-libgmp-prefix=/usr/local 
> --with-libgmpxx-prefix=/usr/local --with-gmp-dir=/usr/local/lib 
> --with-gmp-includes=/usr/local/include --with-gmpxx-dir=/usr/local/lib 
> --with-gmpxx-includes=/usr/local/include
> 
> Any help will be much appreciated.

Dear Saurav,

have you looked into the file config.log that is generated by
the configure script?  It should contain more information
about what is happening.  If you are unsure, please send that
file to us.
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