On 9/26/18 8:43 AM, Richard Biener wrote: > On Wed, Sep 26, 2018 at 4:10 PM Jeff Law <l...@redhat.com> wrote: >> >> On 9/25/18 1:07 PM, Alexey Neyman wrote: >>> Hi, >>> >>> A trivial patch that fixes the build against the latest ISL release, >>> 0.20. In that release, <isl/space.h> and <isl/id.h> were split in two >>> headers each. The <isl/multi.h> (included from <isl/val.h> which is >>> included by "graphite.h") now includes <isl/space_types.h> and >>> <isl/id_types.h>; <isl/space.h> and <isl/id.h> must be included explicitly. >>> >>> These headers (<isl/space.h> and <isl/id.h>) are present in all >>> supported versions of ISL (0.15 and later). >>> >>> Bootstrapped on x86_64-pc-linux-gnu. >> Thanks for verifying these are in ISL 0.15 and later -- we recommend >> 0.18 these days, so I think this is fine. >> >> Installed on the trunk > > I think this was fixed already in August: > > 2018-08-01 Richard Biener <rguent...@suse.de> > > PR bootstrap/86724 > * graphite.h: Include isl/id.h and isl/space.h to allow build > with ISL 0.20. > > and also backported to branches. You're right! I'll revert.
jeff
