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

[Roberto Bagnara]

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/

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