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