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 (bundled)

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 d...@debian.org wrote: On 08/13/2011 06:02 PM, Sebastian Pop wrote: On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers jos...@codesourcery.com wrote: I advise either removing the option for CLooG to use bundled ISL, or making the bundled version

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 jos...@codesourcery.com 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

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 jos...@codesourcery.com 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

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 jos...@codesourcery.com 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 11:26, Matthias Klose d...@debian.org wrote: On 08/13/2011 06:02 PM, Sebastian Pop wrote: On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers jos...@codesourcery.com wrote: I advise either removing the option for CLooG to use bundled ISL, or making the bundled version the

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 +++

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 @@ -368,6

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/isl/}.

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 optimizations.

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 can be

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 need

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.m4

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 they

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 howa...@bromo.med.uc.edu 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

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 rather

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 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 build CLooG

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.