[PPL-devel] ppl-0.10 configuration problem

[Saurav Pathak]

Hi Prof Bangara,

Thank you for your prompt reply!

I did look into the config.log file, but I could not locate the 
problem.  I attach the file to this.

Thanks,
Saurav

Roberto Bagnara wrote:
> 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
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: text/x-log
Size: 339848 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090115/12f1f728/attachment.bin>