From 20ec32e28e9482886d8b4932166d0940b514c7b0 Mon Sep 17 00:00:00 2001
From: spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 25 Jan 2011 06:44:20 +0000
Subject: [PATCH] Document availability of cloog-0.16

2011-01-25 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/trunk@169197 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 d80c5c69a2ec..92064dc39c26 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2011-01-25  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+	* doc/install.texi: Document availability of cloog-0.16.
+
 2011-01-25  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 d180612ce47f..5839242af305 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 3546170e4910..7797fcbe02d8 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 or 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.1.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})
 
-- 
GitLab