On Mon, Oct 27, 2008 at 1:22 PM, Joseph S. Myers <[EMAIL PROTECTED]> 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. I don't necessarily agree with statically linking libstdc++ into cc1 - do you expect problems with linking dynamically? Static libraries for libgmpxx or ppl or cloog are usually not available due to size and their libstdc++ requirement. Richard. > -- > Joseph S. Myers > [EMAIL PROTECTED] >