Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-15 Thread Michael Matz
Hi, On Sun, 14 Aug 2011, Richard Guenther wrote: > > which would be exactly the way no distribution would use it. So please > > just don't bundle ISL with CLoog. > > Well, I would simply have linked the bundled ISL statically into > libcloog. Which would still require not exporting the (bundl

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-14 Thread Richard Guenther
On Sat, Aug 13, 2011 at 6:26 PM, Matthias Klose wrote: > On 08/13/2011 06:02 PM, Sebastian Pop wrote: >> On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers >> wrote: >>> I advise either removing the option for CLooG to use bundled ISL, or >>> making the bundled version the recommended version for GC

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-13 Thread Sebastian Pop
On Sat, Aug 13, 2011 at 11:26, Matthias Klose wrote: > On 08/13/2011 06:02 PM, Sebastian Pop wrote: >> On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers >> wrote: >>> I advise either removing the option for CLooG to use bundled ISL, or >>> making the bundled version the recommended version for GCC.

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-13 Thread Matthias Klose
On 08/13/2011 06:02 PM, Sebastian Pop wrote: > On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers > wrote: >> I advise either removing the option for CLooG to use bundled ISL, or >> making the bundled version the recommended version for GCC. Having too >> many ways to configure things is bad. > > I

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-13 Thread Jack Howarth
On Sat, Aug 13, 2011 at 11:02:40AM -0500, Sebastian Pop wrote: > On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers > wrote: > > I advise either removing the option for CLooG to use bundled ISL, or > > making the bundled version the recommended version for GCC.  Having too > > many ways to configure

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-13 Thread Sebastian Pop
On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers wrote: > I advise either removing the option for CLooG to use bundled ISL, or > making the bundled version the recommended version for GCC.  Having too > many ways to configure things is bad. I would prefer using the ISL bundled with CLooG and not ha

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-13 Thread Joseph S. Myers
On Fri, 12 Aug 2011, Sven Verdoolaege wrote: > On Fri, Aug 12, 2011 at 07:28:52PM +, Joseph S. Myers wrote: > > On Fri, 12 Aug 2011, Sven Verdoolaege wrote: > > > > > On Fri, Aug 12, 2011 at 07:16:55PM +, Joseph S. Myers wrote: > > > > Do you mean there is not only a requirement to build

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 03:30:25PM -0400, Jack Howarth wrote: > Skimo, >Currently we don't have any checks for the minimal isl version required. I assume they will be added at some point. AFAIU, Sebastian just started working on this. It will take some time for him to finish the transition. A

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 07:28:52PM +, Joseph S. Myers wrote: > On Fri, 12 Aug 2011, Sven Verdoolaege wrote: > > > On Fri, Aug 12, 2011 at 07:16:55PM +, Joseph S. Myers wrote: > > > Do you mean there is not only a requirement to build both libraries, but > > > there is a requirement to bui

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Jack Howarth
On Fri, Aug 12, 2011 at 09:22:04PM +0200, Sven Verdoolaege wrote: > On Fri, Aug 12, 2011 at 07:16:55PM +, Joseph S. Myers wrote: > > Do you mean there is not only a requirement to build both libraries, but > > there is a requirement to build CLooG *first*, then ISL, so that ISL's > > libisl.a

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Joseph S. Myers
On Fri, 12 Aug 2011, Sven Verdoolaege wrote: > On Fri, Aug 12, 2011 at 07:16:55PM +, Joseph S. Myers wrote: > > Do you mean there is not only a requirement to build both libraries, but > > there is a requirement to build CLooG *first*, then ISL, so that ISL's > > libisl.a overwrites CLooG's

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sebastian Pop
On Fri, Aug 12, 2011 at 12:50, Jack Howarth wrote: > On Fri, Aug 12, 2011 at 07:35:24PM +0200, Sven Verdoolaege wrote: >> On Fri, Aug 12, 2011 at 05:02:18PM +, Joseph S. Myers wrote: >> > On Fri, 12 Aug 2011, Sebastian Pop wrote: >> > > +@item Integer Set Library (ISL) version 0.08 >> > > + >>

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 07:16:55PM +, Joseph S. Myers wrote: > Do you mean there is not only a requirement to build both libraries, but > there is a requirement to build CLooG *first*, then ISL, so that ISL's > libisl.a overwrites CLooG's rather than the other way round (supposing > that the

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Joseph S. Myers
On Fri, 12 Aug 2011, Sven Verdoolaege wrote: > On Fri, Aug 12, 2011 at 06:56:38PM +, Joseph S. Myers wrote: > > I don't see why that should make any difference to the build requirements. > > If CLooG-ISL builds and installs a library libisl.a as well as > > libcloog-isl.a (as config/cloog.m

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 06:56:38PM +, Joseph S. Myers wrote: > I don't see why that should make any difference to the build requirements. > If CLooG-ISL builds and installs a library libisl.a as well as > libcloog-isl.a (as config/cloog.m4 thinks it does at present), why should > someone ne

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Joseph S. Myers
On Fri, 12 Aug 2011, Sven Verdoolaege wrote: > On Fri, Aug 12, 2011 at 05:02:18PM +, Joseph S. Myers wrote: > > On Fri, 12 Aug 2011, Sebastian Pop wrote: > > > +@item Integer Set Library (ISL) version 0.08 > > > + > > > +Necessary to build GCC with the Graphite loop optimizations. > > > +It ca

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Jack Howarth
On Fri, Aug 12, 2011 at 07:35:24PM +0200, Sven Verdoolaege wrote: > On Fri, Aug 12, 2011 at 05:02:18PM +, Joseph S. Myers wrote: > > On Fri, 12 Aug 2011, Sebastian Pop wrote: > > > +@item Integer Set Library (ISL) version 0.08 > > > + > > > +Necessary to build GCC with the Graphite loop optimiz

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 05:02:18PM +, Joseph S. Myers wrote: > On Fri, 12 Aug 2011, Sebastian Pop wrote: > > +@item Integer Set Library (ISL) version 0.08 > > + > > +Necessary to build GCC with the Graphite loop optimizations. > > +It can be downloaded from @uref{http://www.kotnet.org/~skimo/is

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Joseph S. Myers
On Fri, 12 Aug 2011, Sebastian Pop wrote: > --- > gcc/doc/install.texi |8 +++- > 1 files changed, 7 insertions(+), 1 deletions(-) > > diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi > index 368221f..f2b2fd9 100644 > --- a/gcc/doc/install.texi > +++ b/gcc/doc/install.texi > @@ -

Re: [PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sven Verdoolaege
On Fri, Aug 12, 2011 at 10:16:05AM -0500, Sebastian Pop wrote: > --- > gcc/doc/install.texi |8 +++- > 1 files changed, 7 insertions(+), 1 deletions(-) > > diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi > index 368221f..f2b2fd9 100644 > --- a/gcc/doc/install.texi > +++ b/gcc/doc

[PATCH 2/2] document ISL requirement for GCC installation

2011-08-12 Thread Sebastian Pop
--- gcc/doc/install.texi |8 +++- 1 files changed, 7 insertions(+), 1 deletions(-) diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 368221f..f2b2fd9 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -368,6 +368,11 @@ It can be downloaded from @uref{http://www.