See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86724
Author: Rainer Jung
Date: 2018-07-29

isl 0.20 stopped including other unused header files in their header files.
Therefore,now it's necessary to include the stuff ourselves.
--- .../gcc/graphite.h 2018-01-03 11:03:58.000000000 +0000
+++ .../gcc/graphite.h 2018-07-29 17:42:55.836121000 +0000
@@ -37,6 +37,8 @@
 #include <isl/schedule.h>
 #include <isl/ast_build.h>
 #include <isl/schedule_node.h>
+#include <isl/id.h>
+#include <isl/space.h>

 typedef struct poly_dr *poly_dr_p;
<td class='form'><form method='get'>
<input type='hidden' name='id' value='a4039b6994115f642cfec18ab5bba523909ee5e8'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=a4039b6994115f642cfec18ab5bba523909ee5e8'>refs</a><a class='active' href='/guix/log/nix/boost'>log</a><a href='/guix/tree/nix/boost?id=a4039b6994115f642cfec18ab5bba523909ee5e8'>tree</a><a href='/guix/commit/nix/boost?id=a4039b6994115f642cfec18ab5bba523909ee5e8'>commit</a><a href='/guix/diff/nix/boost?id=a4039b6994115f642cfec18ab5bba523909ee5e8'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/nix/boost'>
<input type='hidden' name='id' value='a4039b6994115f642cfec18ab5bba523909ee5e8'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=a4039b6994115f642cfec18ab5bba523909ee5e8'>root</a>/<a href='/guix/log/nix?id=a4039b6994115f642cfec18ab5bba523909ee5e8'>nix</a>/<a href='/guix/log/nix/boost?id=a4039b6994115f642cfec18ab5bba523909ee5e8'>boost</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/nix/boost?id=a4039b6994115f642cfec18ab5bba523909ee5e8&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-06-24 19:55:22 +0100'>2020-06-24</span></td><td><a href='/guix/commit/nix/boost?id=cd43b55da7ab51c996a7a3449c78f2a493616106'>nix: Tweak .gitignore files.</a><span class='msg-avail'>...<span class='msg-tooltip'>Remove .gitignore entries where they match source files that are tracked in
Git.  This is relevant to me at least, as some code searching tools use
.gitignore files and will ignore matched files.
</span></span></td><td>Christopher Baines</td></tr>