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
