On 09/26/2018 07:46 AM, Jeff Law wrote:
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.
Indeed, sorry for the noise. I noticed that the currently released
versions failed to build, grepped for <isl/space.h> in trunk - which
yielded nothing due to a typo. So I just applied the same patch and
verified it built.
Sorry again,
Alexey.
