Richard Guenther wrote:

On Mon, Oct 27, 2008 at 1:22 PM, Joseph S. Myers <joseph@codesourcery.com> wrote:

...

On Sun, 26 Oct 2008, David Edelsohn wrote:

...

Graphite's CLooG and PPL libraries use libgmpxx. Because cc1 is not linked by g++, this effectively requires that libgmpxx must be a shared library. libgmp I hope the Graphite people are working on fixing this for 4.4. As I said in <http://gcc.gnu.org/ml/gcc-patches/2008-08/msg00144.html> (following Ian's slides), libstdc++ should be statically linked into cc1 by default - which probably means that if static libgmpxx is available then it should be used. I'm also concerned that we still don't have any documentation in install.texi concerning these libraries and pointing to suitable release tarballs of them in the infrastructure directory - we're nearly two months into Stage 3 and these libraries should be subject to much the same development stage rules as in-tree optimizers with the versions documented to be used and associated configure checks changing only to update to new bug-fix minor releases, not major feature releases, while in Stage 3.

I think we are still waiting for the final ppl release, but otherwise I agree that instructions and tarballs should be provided rather yesterday than tomorrow.

The first release candidate of the PPL has just been published: http://www.cs.unipr.it/pipermail/ppl-announce/2008/000020.html If you want, I can draft a patch for install.texi during next weekend. 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@cs.unipr.it