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.
Regards,
Alexey.
>From d4f0e6b43aecb4542b1fd6483874ff4cec684f6a Mon Sep 17 00:00:00 2001
From: Alexey Neyman <sti...@att.net>
Date: Mon, 24 Sep 2018 22:50:11 -0700
Subject: Fix build with ISL 0.20
* gcc/graphite.h: Include <isl/id.h> and <isl/space.h>; these
headers are no longer pulled in by <isl/val.h>.
Signed-off-by: Alexey Neyman <sti...@att.net>
---
gcc/ChangeLog | 5 +++++
gcc/graphite.h | 2 ++
2 files changed, 7 insertions(+)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6be143e9f18..320e3731932 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2018-09-25 Alexey Neyman <sti...@att.net>
+
+ * gcc/graphite.h: Include <isl/id.h> and <isl/space.h>; these
+ headers are no longer pulled in by <isl/val.h>.
+
2018-09-25 Richard Biener <rguent...@suse.de>
PR debug/83941
diff --git a/gcc/graphite.h b/gcc/graphite.h
index be0a22b3894..8db5700e03f 100644
--- a/gcc/graphite.h
+++ b/gcc/graphite.h
@@ -26,6 +26,8 @@ along with GCC; see the file COPYING3. If not see
#include <isl/options.h>
#include <isl/ctx.h>
#include <isl/val.h>
+#include <isl/id.h>
+#include <isl/space.h>
#include <isl/set.h>
#include <isl/union_set.h>
#include <isl/map.h>
--
2.14.1
