--- gcc/graphite.h.orig	2020-08-15 14:22:45.859708000 -0400
+++ gcc/graphite.h	2020-08-15 14:25:15.832648000 -0400
@@ -36,6 +36,8 @@
 #include <isl/ilp.h>
 #include <isl/schedule.h>
 #include <isl/ast_build.h>
+#include <isl/id.h>
+#include <isl/space.h>
 
 #ifdef HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS
 /* isl 0.15 or later.  */