On Fri, Aug 12, 2011 at 10:16:05AM -0500, Sebastian Pop wrote: > --- > gcc/doc/install.texi | 8 +++++++- > 1 files changed, 7 insertions(+), 1 deletions(-) > > diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi > index 368221f..f2b2fd9 100644 > --- a/gcc/doc/install.texi > +++ b/gcc/doc/install.texi > @@ -368,6 +368,11 @@ It can be downloaded from > @uref{http://www.cs.unipr.it/ppl/Download/}. > The configure option @option{--with-ppl} should be used if PPL is not > installed in your default library search path. > > +@item Integer Set Library (ISL) version 0.08
Are you going to wait until 0.08 is available before applying these patches? > +Necessary to build GCC with the Graphite loop optimizations. > +It can be downloaded from @uref{http://www.kotnet.org/~skimo/isl/}. Please use http://freshmeat.net/projects/isl/ instead. skimo