[PPL-devel] [PATCH]: bump minimum MPFR version, (includes some fortran bits)

[Roberto Bagnara]

Richard Guenther wrote:
> On Mon, Oct 27, 2008 at 1:22 PM, Joseph S. Myers
> <joseph at 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 at cs.unipr.it