Richard Guenther wrote:
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.

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:[EMAIL PROTECTED]

Reply via email to