[PATCH 05/28] Document availability of cloog-0.16

[Sebastian Pop]

From: grosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>

2011-01-13 Tobias Grosser <grosser@fim.uni-passau.de>

	* doc/install.texi: Document availability of cloog-0.16.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@168771 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/ChangeLog          |    4 ++++
 gcc/ChangeLog.graphite |    4 ++++
 gcc/doc/install.texi   |   27 +++++++++++++++++----------
 3 files changed, 25 insertions(+), 10 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cea9b21..9f111e7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2011-01-13  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+	* doc/install.texi: Document availability of cloog-0.16.
+
 2011-01-21  Vladimir Kargov  <kargov@gmail.com>
 
 	* graphite-scop-detection.c (canonicalize_loop_closed_ssa): Free
diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index d180612..5839242 100644
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,7 @@
+2011-01-13  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+	* doc/install.texi: Document availability of cloog-0.16
+
 2011-01-05  Vladimir Kargov  <kargov@gmail.com>
 
 	* graphite-scop-detection.c (is_valid_stmt_p): Pass the entry basic
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 3546170..7d0fa88 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -340,16 +340,23 @@ It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}.
 The @option{--with-ppl} configure option should be used if PPL is not
 installed in your default library search path.
 
-@item CLooG-PPL version 0.15
-
-Necessary to build GCC with the Graphite loop optimizations.  It can
-be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
-The code in @file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG
-available from @uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL
-should be configured with @option{--with-ppl}.
-
-The @option{--with-cloog} configure option should be used if CLooG is
-not installed in your default library search path.
+@item CLooG-PPL version 0.15 / CLooG 0.16
+
+Necessary to build GCC with the Graphite loop optimizations.  There
+are two versions available.  CLooG-PPL 0.15 as well as CLooG 0.16.
+The former is the default right now.  It can be downloaded from
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/} as
+@file{cloog-ppl-0.15.tar.gz}.
+
+CLooG 0.16 support is still in testing stage, but will be the
+default in future GCC releases.  It is also available at
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/} as
+@file{cloog-0.16.x.tar.gz}.  To use it add the additional configure
+option @option{--enable-cloog-backend=isl}.  Even if CLooG 0.16
+does not use PPL, PPL is still required for Graphite.
+
+In both cases @option{--with-cloog} configure option should be used
+if CLooG is not installed in your default library search path.
 
 @item @command{jar}, or InfoZIP (@command{zip} and @command{unzip})
 
-- 
1.7.1