Thanks. It seems you cannot "make bootstrap" gcc including gmp and using a previous version of gcc, in this case gcc (GCC) 3.4.6 20060404 (Red Hat 3.4.6-9). I guess I will have to make gmp separately using the gcc 4.4.0 created by "make bootstrap", then make ppl.

I seem to have misplaced the mail with the code snippet but I believe it was just a simple "Hello World" example.

Regards, Bill T.

-----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Tuesday, August 18, 2009 7:01 AM To: Tovrea, George W (US SSA) Cc: ppl-devel@cs.unipr.it Subject: Re: [PPL-devel] configure failing on Linux...

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