install.texi: Update CLooG and ISL requirements to 0.18.0 and 0.11.1.

2013-01-16  Richard Biener  <rguenther@suse.de>

	* doc/install.texi: Update CLooG and ISL requirements to
	0.18.0 and 0.11.1.

From-SVN: r195233

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3d1dcbdddd6a4f24931fd85a91440cef59913bee..88ed16362957ef8e5c4263bd2c30dd696353943c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-01-16  Richard Biener  <rguenther@suse.de>
+
+       * doc/install.texi: Update CLooG and ISL requirements to
+       0.18.0 and 0.11.1.
+
 2013-01-16  Christian Bruel  <christian.bruel@st.com>
 
        PR target/55301

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index ed1a68a958ea9a131a0b9465461609c8b0559c72..35564ea6b1da5834cc80deedcc693baba7c5a432 100644 (file)
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -367,23 +367,24 @@ installed but it is not in your default library search path, the
 @option{--with-mpc} configure option should be used.  See also
 @option{--with-mpc-lib} and @option{--with-mpc-include}.
 
-@item ISL Library version 0.10
+@item ISL Library version 0.11.1
 
 Necessary to build GCC with the Graphite loop optimizations.
-It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
+It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}
+as @file{isl-0.11.1.tar.bz2}.
 
 The @option{--with-isl} configure option should be used if ISL is not
 installed in your default library search path.
 
-@item CLooG 0.17.0
+@item CLooG 0.18.0
 
 Necessary to build GCC with the Graphite loop optimizations.  It can be
 downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/} as
-@file{cloog-0.17.0.tar.gz}.  The @option{--with-cloog} configure option should
+@file{cloog-0.18.0.tar.gz}.  The @option{--with-cloog} configure option should
 be used if CLooG is not installed in your default library search path.
-CLooG needs to be built against ISL 0.10, not its included copy of ISL
-which is too old.  Use @option{--with-isl=system} to direct CLooG to pick
-up an already installed ISL.  CLooG needs to be configured to use GMP
+CLooG needs to be built against ISL 0.11.1.  Use @option{--with-isl=system}
+to direct CLooG to pick up an already installed ISL, otherwise it will use
+ISL 0.11.1 as bundled with CLooG.  CLooG needs to be configured to use GMP
 internally, use @option{--with-bits=gmp} to direct it to do that.
 
 @end table