[PPL-devel] configure failing on Linux...

[Roberto Bagnara]

Tovrea, George W (US SSA) wrote:
> Attached.

The relevant section is this one:

configure:16375: checking for the GMP library version 4.1.3 or above
configure:16495: /home/users/tovrea/local/linux/bin/g++ -o conftest  -g -O2 -frounding-math  -I/home/users/tovrea/local/linux/include -I/home/users/tovrea/local/linux/include -L/home/users/tovrea/local/linux/lib -L/home/users/tovrea/local/linux/lib/gcc/x86_64-unknown-linux-gnu/4.4.0 -L/home/users/tovrea/local/linux/lib/gcc/x86_64-unknown-linux-gnu/lib64 conftest.cpp  /home/users/tovrea/local/linux/lib/libgmpxx.a /home/users/tovrea/local/linux/lib/libgmp.a >&5
configure:16499: $? = 0
configure:16505: ./conftest
./conftest: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.9' not found (required by ./conftest)
./conftest: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.11' not found (required by ./conftest)
configure:16509: $? = 1
configure: program exited with status 1
configure: failed program was:

Apparently, your environment is messed up.  You compile with
/home/users/tovrea/local/linux/bin/g++ and, presumably, you
are linking with a different, incompatible version of libstdc++,
the one in /usr/lib64/libstdc++.so.6.

This has nothing to do with the PPL.  You should arrive to the
point where your environment is able to compile a simple C++
program (like the one I sent you earlier) with your C++
compiler (and standard library) and GMP.
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