aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2013-01-16 09:37:19 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2013-01-16 09:37:19 +0000
commit04b535af39f1c081d95961e4a7b0a0818182a7a6 (patch)
tree54be06d8a45e93ff5ff722eeebb6eba8530b2e2f
parent8175e9866c9bdd4300ad11d0196c69a65036a9f1 (diff)
downloadgcc-04b535af39f1c081d95961e4a7b0a0818182a7a6.zip
gcc-04b535af39f1c081d95961e4a7b0a0818182a7a6.tar.gz
gcc-04b535af39f1c081d95961e4a7b0a0818182a7a6.tar.bz2
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
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/doc/install.texi15
2 files changed, 13 insertions, 7 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3d1dcbd..88ed163 100644
--- 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 ed1a68a..35564ea 100644
--- 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