Eric Botcazou wrote:
>> 2013-01-14 Richard Biener
>>
>> * configure.ac (cloog/isl): Also allow ISL 0.11.x and CLooG 0.18.0.
>> * configure: Re-generate.
>
>The output is strange:
>
>checking for the correct version of the gmp/mpfr/mpc libraries... yes
>-g -O2
>checking for version 0
> 2013-01-14 Richard Biener
>
> * configure.ac (cloog/isl): Also allow ISL 0.11.x and CLooG 0.18.0.
> * configure: Re-generate.
The output is strange:
checking for the correct version of the gmp/mpfr/mpc libraries... yes
-g -O2
checking for version 0.10 of ISL... no
-g -O2
checkin
On Wed, 16 Jan 2013, Richard Biener wrote:
> On Tue, 15 Jan 2013, Jack Howarth wrote:
>
> > On Tue, Jan 15, 2013 at 11:05:51AM +0100, Richard Biener wrote:
> > > On Tue, 15 Jan 2013, Richard Biener wrote:
> > >
> > > > On Mon, 14 Jan 2013, Jack Howarth wrote:
> > > >
> > > > > On Mon, Jan 14, 2
On Tue, 15 Jan 2013, Jack Howarth wrote:
> On Tue, Jan 15, 2013 at 11:05:51AM +0100, Richard Biener wrote:
> > On Tue, 15 Jan 2013, Richard Biener wrote:
> >
> > > On Mon, 14 Jan 2013, Jack Howarth wrote:
> > >
> > > > On Mon, Jan 14, 2013 at 08:27:12PM +0100, Dominique Dhumieres wrote:
> > > >
On Tue, Jan 15, 2013 at 11:05:51AM +0100, Richard Biener wrote:
> On Tue, 15 Jan 2013, Richard Biener wrote:
>
> > On Mon, 14 Jan 2013, Jack Howarth wrote:
> >
> > > On Mon, Jan 14, 2013 at 08:27:12PM +0100, Dominique Dhumieres wrote:
> > > > In order to bootstrap r195167 with the new ISL/CLooG v
On Tue, Jan 15, 2013 at 11:05:51AM +0100, Richard Biener wrote:
> 2013-01-15 Richard Biener
>
> PR other/55973
> * configure: Re-generate.
>
> config/
> * isl.m4 (ISL_INIT_FLAGS): Warn about disabled version check
> for in-tree build.
> (ISL_CHECK_VERSION):
On Tue, 15 Jan 2013, Richard Biener wrote:
> On Mon, 14 Jan 2013, Jack Howarth wrote:
>
> > On Mon, Jan 14, 2013 at 08:27:12PM +0100, Dominique Dhumieres wrote:
> > > In order to bootstrap r195167 with the new ISL/CLooG versions,
> > > I had to apply the following patch:
> > >
> > > --- ../work/
On Mon, 14 Jan 2013, Jack Howarth wrote:
> On Mon, Jan 14, 2013 at 08:27:12PM +0100, Dominique Dhumieres wrote:
> > In order to bootstrap r195167 with the new ISL/CLooG versions,
> > I had to apply the following patch:
> >
> > --- ../work/configure 2013-01-14 19:32:00.0 +0100
> > ++
On Mon, Jan 14, 2013 at 09:28:53PM +0100, Dominique Dhumieres wrote:
> Jack,
>
> Without the change for isl, I get at configure time:
>
> -g -O2 -I/opt/mp/include -I/opt/mp/include
> checking for version 0.10 of ISL... no
> -g -O2 -I/opt/mp/include -I/opt/mp/include
> checking for version 0.11 of
Jack,
Without the change for isl, I get at configure time:
-g -O2 -I/opt/mp/include -I/opt/mp/include
checking for version 0.10 of ISL... no
-g -O2 -I/opt/mp/include -I/opt/mp/include
checking for version 0.11 of ISL... (cached) no
configure: error: Unable to find a usable ISL. See config.log fo
On Mon, Jan 14, 2013 at 08:27:12PM +0100, Dominique Dhumieres wrote:
> In order to bootstrap r195167 with the new ISL/CLooG versions,
> I had to apply the following patch:
>
> --- ../work/configure 2013-01-14 19:32:00.0 +0100
> +++ configure 2013-01-14 19:42:15.0 +0100
> @@ -5848,7
Jack,
> How exactly did you test this? I am using isl 0.11.1 and cloog 0.18.0 from
> fink
> installed in /sw out of tree. This fails in config.log as...
Same here (the libs are not in /sw but in /mp) and I got the same errors before
I did the changed in my previous post.
Dominique
On Mon, Jan 14, 2013 at 07:22:03PM +0100, Richard Biener wrote:
> Jack Howarth wrote:
>
> >On Mon, Jan 14, 2013 at 11:03:41AM -0500, Jack Howarth wrote:
> >> On Mon, Jan 14, 2013 at 04:44:04PM +0100, Tobias Grosser wrote:
> >> > On 01/14/2013 03:29 PM, Richard Biener wrote:
> >> >>
> >> >> This m
In order to bootstrap r195167 with the new ISL/CLooG versions,
I had to apply the following patch:
--- ../work/configure 2013-01-14 19:32:00.0 +0100
+++ configure 2013-01-14 19:42:15.0 +0100
@@ -5848,7 +5848,7 @@ else
int
main ()
{
-if (strncmp (isl_version (), "isl-0.10", s
Jack Howarth wrote:
>On Mon, Jan 14, 2013 at 11:03:41AM -0500, Jack Howarth wrote:
>> On Mon, Jan 14, 2013 at 04:44:04PM +0100, Tobias Grosser wrote:
>> > On 01/14/2013 03:29 PM, Richard Biener wrote:
>> >>
>> >> This makes us accept the CLooG 0.18.0 and ISL 0.11.1 combo.
>> >>
>> >> It's probabl
On Mon, Jan 14, 2013 at 11:03:41AM -0500, Jack Howarth wrote:
> On Mon, Jan 14, 2013 at 04:44:04PM +0100, Tobias Grosser wrote:
> > On 01/14/2013 03:29 PM, Richard Biener wrote:
> >>
> >> This makes us accept the CLooG 0.18.0 and ISL 0.11.1 combo.
> >>
> >> It's probably not the best stage to move
On Mon, Jan 14, 2013 at 04:44:04PM +0100, Tobias Grosser wrote:
> On 01/14/2013 03:29 PM, Richard Biener wrote:
>>
>> This makes us accept the CLooG 0.18.0 and ISL 0.11.1 combo.
>>
>> It's probably not the best stage to move the version checks to
>> gcc/ where we can rely on built in-tree ISL/CLooG
On 01/14/2013 03:29 PM, Richard Biener wrote:
This makes us accept the CLooG 0.18.0 and ISL 0.11.1 combo.
It's probably not the best stage to move the version checks to
gcc/ where we can rely on built in-tree ISL/CLooG, so this avoids
it with the caveat that in-tree CLooG 0.18.0 will fail the
v
18 matches
Mail list logo
