Markus Elfring wrote:
My guess is that you are compiling the PPL for x86-64 and, for some reason, /usr/local/lib/libstdc++.so.6.0.10, which is an 80386 object, is in the way. I do not know why this happens: the answer is probably contained in config.log.
It seems that I stumble on an open issue which was also reported by other software developers several times.
Examples:
libtool problem on system with 32 and 64 bit libraries http://lists.gnu.org/archive/html/libtool/2009-04/msg00016.html
Another libtool problem with 64-bit build on a bi-arch system http://lists.gnu.org/archive/html/libtool/2008-09/msg00049.html
Debugging Libtool's Insistence on Sourcing a Library from /usr/lib
Rather Than LDFLAGS http://lists.gnu.org/archive/html/libtool/2008-02/msg00073.html
- Wrong libstdc++ picked http://lists.gnu.org/archive/html/libtool/2007-04/msg00060.html
Would you like to add any workarounds to your configuration script to find the expected library directories?
Not blindly. Can I have access to the machines where this happens? I think the problem is in your installation of GCC in /usr/local.
How are the chances to fix the involved tools?
My experience with the Libtool people are quite positive. All the best,
Roberto