summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2014-02-13 13:35:10 +0000
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2014-02-13 13:35:10 +0000
commitda09c7e61d68f47cd3dff1966ee486b078afc184 (patch)
tree06393cee446ff6690b12ba0b7d2756e3c3976d72
parent0614d12ceb32da61e99e0474cf52906bfd076805 (diff)
downloadgcc-da09c7e61d68f47cd3dff1966ee486b078afc184.tar.gz
2014-02-13 Richard Biener <rguenther@suse.de>
PR bootstrap/59878 * doc/install.texi (ISL): Update recommended version to 0.12.2, mention the possibility of an in-tree build. (CLooG): Update recommended version to 0.18.1, mention the possibility of an in-tree build and clarify that the ISL bundled with CLooG does not work. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207758 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/ChangeLog9
-rw-r--r--gcc/doc/install.texi29
2 files changed, 26 insertions, 12 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d159346e723..881cad1009d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,12 @@
+2014-02-13 Richard Biener <rguenther@suse.de>
+
+ PR bootstrap/59878
+ * doc/install.texi (ISL): Update recommended version to 0.12.2,
+ mention the possibility of an in-tree build.
+ (CLooG): Update recommended version to 0.18.1, mention the
+ possibility of an in-tree build and clarify that the ISL
+ bundled with CLooG does not work.
+
2014-02-13 Jakub Jelinek <jakub@redhat.com>
PR target/43546
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 67586fff446..7a619420495 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -383,25 +383,30 @@ 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.11.1
+@item ISL Library version 0.12.2
Necessary to build GCC with the Graphite loop optimizations.
It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}
-as @file{isl-0.11.1.tar.bz2}.
+as @file{isl-0.12.2.tar.bz2}. If an ISL source distribution is found
+in a subdirectory of your GCC sources named @file{isl}, it will be
+built together with GCC. Alternatively, the @option{--with-isl} configure
+option should be used if ISL is not installed in your default library
+search path.
-The @option{--with-isl} configure option should be used if ISL is not
-installed in your default library search path.
-
-@item CLooG 0.18.0
+@item CLooG 0.18.1
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.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.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.
+@file{cloog-0.18.1.tar.gz}. If a CLooG source distribution is found
+in a subdirectory of your GCC sources named @file{cloog}, it will be
+built together with GCC. Alternatively, the @option{--with-cloog} configure
+option should be used if CLooG is not installed in your default library search
+path.
+
+If you want to install CLooG separately it needs to be built against
+ISL 0.12.2 by using the @option{--with-isl=system} to direct CLooG to pick
+up an already installed ISL. Using the ISL library as bundled with CLooG
+is not supported.
@end table