---
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
+
+Necessary to build GCC with the Graphite loop optimizations.
+It can be downloaded from @uref{http://www.kotnet.org/~skimo/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
