Re: {GRAPHITE] Replacement of isl_int by isl_val

[Tobias Grosser <tobias at grosser dot es>]

On 02/10/2014 04:12 AM, Richard Biener wrote:
> On Sun, Feb 9, 2014 at 9:19 PM, Tobias Grosser <tobias@grosser.es> wrote:
> > On 02/09/2014 04:47 PM, Mircea Namolaru wrote:
> > >     Patch for replacement of the isl_int (obsolete) by isl_val.
> > >
> > >     No regressions for c/c++/fortran on x86-64 Linux.
> >
> >
> > Hi Mircae,
> >
> > thanks a lot for looking into this.
> >
> > Just for people not aware of the idea of this patch. Cloog recently upgraded
> > to the latest version of isl (isl-0.12.2) and with this
> > release isl deprecated the isl_int interface in favor of the isl_val
> > interface.
>
> It seems that neither ISL 0.10 nor 0.11 or 0.11.1 has isl_val though, so
> this patch would need to adjust the ISL version check in the toplevel
> configure.
>
> Which also makes this patch not suitable for this stage but it has to
> wait for stage1.

That's what I thought. Thanks for clarifying.

> Btw, Mircea - do you have a copyright assignment on file with the FSF
> covering work on GCC?

Good point. I will be verifying this with Mircae.

Cheers,
Tobias