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

login
register
mail settings
Submitter Sebastian Pop
Date Jan. 5, 2011, 7:19 p.m.
Message ID <AANLkTinrq1gG3aUP40qsUubkP7VOR2p7+mKkrxYHe6i7@mail.gmail.com>
Download mbox | patch
Permalink /patch/77625/
State New
Headers show

Comments

Sebastian Pop - Jan. 5, 2011, 7:19 p.m.
On Wed, Jan 5, 2011 at 11:55, Tobias Grosser <grosser@fim.uni-passau.de> wrote:
> Hi,
>
> I would like to update the install documentation for CLooG and also use this
> to talk about the version of CLooG included with gcc 4.6.
>
> I propose to stay for gcc 4.6 with CLooG-PPL 0.15 as default CLooG version,
> as it is well tested and has proven to be stable enough.
>
> I believe cloog-0.16 (isl) is very stable, however it was not yet exposed to testing
> throught the larger gcc audience. I propose therefore to just document it
> as being in testing stage and the default for future releases. This
> will give us a whole release cycle to test cloog isl.
>

The documentation looks good to me, but I cannot approve it.
Also, we should commit the attached patch to bump cloog.org's
expected version to 0.16.0 (or later).

Joseph, could you please upload the two cloog.org packages:
http://www.kotnet.org/~skimo/cloog/cloog-0.16.0.tar.gz
http://www.kotnet.org/~skimo/cloog/cloog-parma-0.16.0.tar.gz
on the ftp/gcc/infrastructure.

Thanks,
Sebastian

> Cheers
> Tobi
>
>  gcc/doc/install.texi |   19 +++++++++++++------
>  1 files changed, 13 insertions(+), 6 deletions(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index f990b74..8b77472 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -340,17 +340,24 @@ 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
> +@item CLooG-PPL version 0.15 / CLooG 0.16
>
> -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}.
> +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 current
> +default version used is version 0.15.  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.
>
> +CLooG 0.16 support is still in testing stage, but will be the default in future
> +gcc releases.  It is available at
> +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  To use it configure with
> +@option{--enable-cloog-backend=isl}.
> +
>  @item @command{jar}, or InfoZIP (@command{zip} and @command{unzip})
>
>  Necessary to build libgcj, the GCJ runtime.
> --
> 1.7.1
>
>
Sven Verdoolaege - Jan. 5, 2011, 7:50 p.m.
On Wed, Jan 05, 2011 at 01:19:36PM -0600, Sebastian Pop wrote:
> Joseph, could you please upload the two cloog.org packages:
> http://www.kotnet.org/~skimo/cloog/cloog-0.16.0.tar.gz
> http://www.kotnet.org/~skimo/cloog/cloog-parma-0.16.0.tar.gz
> on the ftp/gcc/infrastructure.

Maybe it's best to wait for 0.16.1.  Should be out sometime this week.
cloog-parma-0.16.0 has the header installation problem.

skimo
Sven Verdoolaege - Jan. 7, 2011, 1:16 p.m.
On Wed, Jan 05, 2011 at 08:50:17PM +0100, Sven Verdoolaege wrote:
> On Wed, Jan 05, 2011 at 01:19:36PM -0600, Sebastian Pop wrote:
> > Joseph, could you please upload the two cloog.org packages:
> > http://www.kotnet.org/~skimo/cloog/cloog-0.16.0.tar.gz
> > http://www.kotnet.org/~skimo/cloog/cloog-parma-0.16.0.tar.gz
> > on the ftp/gcc/infrastructure.
> 
> Maybe it's best to wait for 0.16.1.  Should be out sometime this week.
> cloog-parma-0.16.0 has the header installation problem.

They are available now.

skimo
Tobias Grosser - Jan. 7, 2011, 1:16 p.m.
On 01/07/2011 08:16 AM, Sven Verdoolaege wrote:
> On Wed, Jan 05, 2011 at 08:50:17PM +0100, Sven Verdoolaege wrote:
>> On Wed, Jan 05, 2011 at 01:19:36PM -0600, Sebastian Pop wrote:
>>> Joseph, could you please upload the two cloog.org packages:
>>> http://www.kotnet.org/~skimo/cloog/cloog-0.16.0.tar.gz
>>> http://www.kotnet.org/~skimo/cloog/cloog-parma-0.16.0.tar.gz
>>> on the ftp/gcc/infrastructure.
>>
>> Maybe it's best to wait for 0.16.1.  Should be out sometime this week.
>> cloog-parma-0.16.0 has the header installation problem.
>
> They are available now.

Thanks Sven for updating those.

Tobi

Patch

From 47716c0717b689a62f6271c62e5daf9f011ec55e Mon Sep 17 00:00:00 2001
From: spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 29 Dec 2010 09:09:05 +0000
Subject: [PATCH] Bump CLooG.org version to 0.16.0.

2010-12-29  Sebastian Pop  <sebastian.pop@amd.com>

	* configure: Regenerated.
	* configure.ac: Use CLOOG_CHECK_VERSION(0,16,0).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@168312 138bc75d-0d04-0410-961f-82ee72b054a4
---
 ChangeLog.graphite |    5 +++++
 configure          |    6 +++---
 configure.ac       |    4 ++--
 3 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/ChangeLog.graphite b/ChangeLog.graphite
index 90fed1e..d5dbacf 100644
--- a/ChangeLog.graphite
+++ b/ChangeLog.graphite
@@ -1,5 +1,10 @@ 
 2010-12-29  Sebastian Pop  <sebastian.pop@amd.com>
 
+	* configure: Regenerated.
+	* configure.ac: Use CLOOG_CHECK_VERSION(0,16,0).
+
+2010-12-29  Sebastian Pop  <sebastian.pop@amd.com>
+
 	* Merge from mainline (168000:168310).
 
 2010-12-17  Sebastian Pop  <sebastian.pop@amd.com>
diff --git a/configure b/configure
index 66ca5d3..e2926c4 100755
--- a/configure
+++ b/configure
@@ -5971,8 +5971,8 @@  $as_echo "$gcc_cv_cloog_type" >&6; }
     LDFLAGS="${_cloog_saved_LDFLAGS} ${clooglibs} ${ppllibs}"
 
     if test "${cloog_org}" = yes ; then
-      { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.14.0 of CLooG" >&5
-$as_echo_n "checking for version 0.14.0 of CLooG... " >&6; }
+      { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.16.0 of CLooG" >&5
+$as_echo_n "checking for version 0.16.0 of CLooG... " >&6; }
 if test "${gcc_cv_cloog_ct_0_14_0+set}" = set; then :
   $as_echo_n "(cached) " >&6
 else
@@ -5983,7 +5983,7 @@  int
 main ()
 {
 #if CLOOG_VERSION_MAJOR != 0 \
-    || CLOOG_VERSION_MINOR != 14 \
+    || CLOOG_VERSION_MINOR != 16 \
     || CLOOG_VERSION_REVISION < 0
     choke me
    #endif
diff --git a/configure.ac b/configure.ac
index 4807ffb..2184038 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1667,7 +1667,7 @@  fi
 if test "x$with_cloog" != "xno"; then
   dnl Version check for CLooG-Org
   dnl As long as there is no new release of CLooG,
-  dnl we will check for 0.14.0.
+  dnl we will check for 0.16.0.
   dnl
   dnl The first git revision that will work with
   dnl GCC is: bd91b845a65805c290d43fc1bef8139864a163fb
@@ -1677,7 +1677,7 @@  if test "x$with_cloog" != "xno"; then
   dnl
   dnl If we're using CLooG-Legacy, the provided version information
   dnl will be ignored.
-  CLOOG_CHECK_VERSION(0,14,0)
+  CLOOG_CHECK_VERSION(0,16,0)
 
   dnl Only execute fail-action, if CLooG has been
   dnl requested.
-- 
1.7.1