On Mon, Aug 15, 2011 at 02:36, Sven Verdoolaege <sk...@kotnet.org> wrote:
>> +It can be downloaded from @uref{http://www.kotnet.org/~skimo/isl/}.
>
> Why don't you want to use the official URL?
Changed now.
From 93d892edaa303736cd0ca89662bec979aec0485c Mon Sep 17 00:00:00 2001
From: Sebastian Pop <seb...@gmail.com>
Date: Fri, 12 Aug 2011 10:14:34 -0500
Subject: [PATCH] document ISL requirement for GCC installation
---
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..fa561ff 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
+
+Necessary to build GCC with the Graphite loop optimizations.
+It can be downloaded from @uref{http://freshmeat.net/projects/isl/}.
+
@item CLooG-ISL 0.16
Necessary to build GCC with the Graphite loop optimizations. It is
@@ -1620,7 +1625,8 @@ a cross compiler, they will not be used to configure target libraries.
@itemx --with-cloog=@var{pathname}
@itemx --with-cloog-include=@var{pathname}
@itemx --with-cloog-lib=@var{pathname}
-If you do not have PPL (the Parma Polyhedra Library) and the CLooG
+If you do not have ISL (the Integer Set Library),
+PPL (the Parma Polyhedra Library), and the CLooG (the Chunky Loop Generator)
libraries installed in a standard location and you want to build GCC,
you can explicitly specify the directory where they are installed
(@samp{--with-ppl=@/@var{pplinstalldir}},
--
1.7.4.1
