On Fri, Jul 22, 2011 at 07:32, Joseph S. Myers <jos...@codesourcery.com> wrote:
> On Fri, 22 Jul 2011, Tobias Grosser wrote:
>
>> I propose to switch to the official cloog.org cloog version with isl backend
>> and
>> at the same time to remove support for both CLooG-PPL legacy as well as
>> CLooG-Parma.
>
> Where are the install.texi changes in this patch series?
Please see the attached patch.
Thanks,
Sebastian
From 079ec12ce018ad6e7577d2c069b1c612b3b2b98e Mon Sep 17 00:00:00 2001
From: Sebastian Pop <seb...@gmail.com>
Date: Tue, 26 Jul 2011 13:28:36 -0500
Subject: [PATCH] Document CLooG-ISL requirement for Graphite
2011-07-26 Sebastian Pop <sebastian....@amd.com>
* doc/invoke.texi: Document CLooG-ISL requirement for Graphite.
---
gcc/ChangeLog | 4 ++++
gcc/doc/install.texi | 24 ++++++++----------------
2 files changed, 12 insertions(+), 16 deletions(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 17358a8..78fcf59 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2011-07-26 Sebastian Pop <sebastian....@amd.com>
+
+ * doc/invoke.texi: Document CLooG-ISL requirement for Graphite.
+
2011-07-23 Sebastian Pop <sebastian....@amd.com>
PR tree-optimization/49471
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 9b1b037..368221f 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -365,26 +365,18 @@ distribution is found in a subdirectory of your GCC sources named
Necessary to build GCC with the Graphite loop optimizations.
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
+The configure option @option{--with-ppl} should be used if PPL is not
installed in your default library search path.
-@item CLooG-PPL version 0.15 or CLooG 0.16
+@item CLooG-ISL 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}.
+Necessary to build GCC with the Graphite loop optimizations. It is
+available from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/} as
+@file{cloog-0.16.3.tar.gz}. Even if CLooG 0.16 does not use PPL, PPL
+is still required for Graphite.
-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.
+The configure option @option{--with-cloog} should be used if CLooG is
+not installed in your default library search path.
@end table
--
1.7.4.1
