[PPL-devel] ppl-0.11.2 install problems with GCC

[Andre Nicolle]

Hi Roberto

Thanks for the link the new version solves the GMP problem as long as 
you change the command from --with-gmp-build= to --with-gmp= otherwise 
you seem to get the following error

./configure: line 10035: /share/apps/gcc/4.6.2/config.status: No such 
file or directory
checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++ interface:
add --enable-cxx to the configuration options.

Can you suggest the possible problems with these 64-bit library issue I 
previously mentioned.

/share/apps/gcc/4.6.2/lib../lib/libstdc++.so: could not read symbols: 
File in wrong format

Should I be adding this to the issue-tracking system? Is there anything 
else I can do to help test this problem?

Thanks

Andre

On 14/01/2012 18:31, Roberto Bagnara wrote:
> On 01/14/12 10:31, Andre Nicolle wrote:
>> Hi All
>>
>> I have recently been compiling GCC 4.6.2 on a newly installed centos 
>> 5.6 computer and come across several strange problems when compiling 
>> PPL. GCC is being compiled to a new directory for distribution on a 
>> cluster so I install gmp-5.0.2 with configuration command ./configure 
>> --prefix=/share/apps/gcc/4.6.2 --enable-cxx this I compile using GCC 
>> 4.4 which was installed from the repositories. When compiling 
>> ppl-0.11.2 with configuration command ./configure 
>> --prefix=/share/apps/gcc/4.6.2 --with-gmp-build=/share/apps/gcc/4.6.2 
>> and GCC 4.4 I get the following error message:
>>
>> checking how to link with libgmp... 
>> /share/apps/gcc/4.6.2/lib/libgmp.so -Wl,-rpath 
>> -Wl,/share/apps/gcc/4.6.2/lib
>> checking how to link with libgmpxx... 
>> /share/apps/gcc/4.6.2/lib/libgmpxx.so 
>> /share/apps/gcc/4.6.2/lib/libgmp.so -Wl,-rpath 
>> -Wl,/share/apps/gcc/4.6.2/lib -Wl,-rpath -Wl,/share/apps/gcc/4.6.2/lib
>> checking for the GMP library version 4.1.3 or above... no
>> configure: error: Cannot find GMP version 4.1.3 or higher.
>> GMP is the GNU Multi-Precision library:
>>
>> This is similar to the discussion at this link:
>>
>> http://www.cs.unipr.it/pipermail/ppl-devel/2011-March/017387.html
>>
>> Switching back to GCC 4.1 solves this problem and I successfully 
>> compile and test gmp and ppl-0.11.2. Is this a problem with the 
>> configure script?
>>
>> I then decided to compile ppl-0.11.2 again but this time using my 
>> newly compiled GCC 4.6.2 which does not encounter the previous error 
>> and configures correctly. However during the build I get the 
>> following error:
>>
>> /share/apps/gcc/4.6.2/lib../lib/libstdc++.so: could not read symbols: 
>> File in wrong format
>>
>> The environmental variables are set with the following command to use 
>> the newly installed GCC 4.6.2.
>>
>> export PATH=/share/apps/gcc/4.6.2/bin:$PATH
>> export 
>> LD_LIBRARY_PATH=/share/apps/gcc/4.6.2/lib:/share/apps/gcc/4.6.2/lib64:$LD_LIBRARY_PATH
>>
>> This I discover is due to the compiler trying to link to the 
>> non-64bit version of libstdc++.so similar to the discussion here:
>>
>> http://www.cs.unipr.it/pipermail/ppl-devel/2009-April/014677.html
>>
>> By linking:
>>
>> ln -s /share/apps/gcc/4.6.2/lib64/libstdc++.so 
>> /share/apps/gcc/4.6.2/lib/libstdc++.so
>>
>> the 64bit version of the file into the requested location, I am able 
>> to compile and test ppl. This does not seem correct behaviour, could 
>> somebody tell me what is going wrong and how to fix this.
>
> Hi Andre,
>
> there was indeed a (long standing) problem in the configure script 
> concerning
> the detection of GMP.  Please try the snapshot available at:
>
>     http://bugseng.com/products/ppl/download/ftp/snapshots/
>
> Best regards,
>
>     Roberto
>
> P.S. We have an issue-tracking system: https://www.cs.unipr.it/mantis/
>