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;
'/guix/'>guix</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='48f7aa1cd104096daccc8a4859021f1e1177f525'/><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=48f7aa1cd104096daccc8a4859021f1e1177f525'>refs</a><a class='active' href='/guix/log/.guix-authorizations'>log</a><a href='/guix/tree/.guix-authorizations?id=48f7aa1cd104096daccc8a4859021f1e1177f525'>tree</a><a href='/guix/commit/.guix-authorizations?id=48f7aa1cd104096daccc8a4859021f1e1177f525'>commit</a><a href='/guix/diff/.guix-authorizations?id=48f7aa1cd104096daccc8a4859021f1e1177f525'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/.guix-authorizations'>
<input type='hidden' name='id' value='48f7aa1cd104096daccc8a4859021f1e1177f525'/><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=48f7aa1cd104096daccc8a4859021f1e1177f525'>root</a>/<a href='/guix/log/.guix-authorizations?id=48f7aa1cd104096daccc8a4859021f1e1177f525'>.guix-authorizations</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/.guix-authorizations?id=48f7aa1cd104096daccc8a4859021f1e1177f525&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2021-03-08 12:58:24 -0500'>2021-03-08</span></td><td><a href='/guix/commit/.guix-authorizations?id=40d77b8fee903d9d67c22ea5169abe3cdeac39c2'>.guix-authorizations: Add lbraun.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add lbraun and "lbraun (professional)" to the
committers.
</span></span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2021-02-18 12:45:14 +0100'>2021-02-18</span></td><td><a href='/guix/commit/.guix-authorizations?id=65fb3a3eb9a759e3dba18e78113e80d7e5b353f4'>.guix-authorizations: Add lle_bout.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add lle_bout to the committers.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-12-28 10:54:03 +0100'>2020-12-28</span></td><td><a href='/guix/commit/.guix-authorizations?id=98471d578679e25fd9c28097ea017aa4035ae8dd'>.guix-authorizations: Add leoprikler.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add leoprikler to the committers.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-11-15 23:09:46 +0100'>2020-11-15</span></td><td><a href='/guix/commit/.guix-authorizations?id=f11c9a89193e72ee11df585cd08f1edffb9f6e48'>.guix-authorizations: Add jonsger.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add jonsger to the committers.
</span></span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2020-10-16 15:00:50 +0200'>2020-10-16</span></td><td><a href='/guix/commit/.guix-authorizations?id=b601aadaf59d25d4dea502f0aab16531038bff91'>.guix-authorizations: Add m1gu3l.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add m1gu3l to the committers.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-09-04 11:29:51 +0200'>2020-09-04</span></td><td><a href='/guix/commit/.guix-authorizations?id=d60f63a83852685cf439bbb6af678fb2ad93efaa'>.guix-authorizations: Add planglois to the committers.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add planglois.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-07-18 21:12:38 +0200'>2020-07-18</span></td><td><a href='/guix/commit/.guix-authorizations?id=ba1d9680d61d3b06d9b81a81863448f494d654a7'>.guix-authorizations: Add brettgilio (back) to the committers.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add fingerprint for brettgilio.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-07-01 12:50:22 +0200'>2020-07-01</span></td><td><a href='/guix/commit/.guix-authorizations?id=9f5f3932debc72a57a830fc6ca5ab980f6db4941'>.guix-authorizations: Remove keys of two former contributors.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Remove key of David Craven, who left the project
in 2017, and Federico Beffa, whose last commit was in Feb. 2017.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-07-01 12:50:22 +0200'>2020-07-01</span></td><td><a href='/guix/commit/.guix-authorizations?id=5402f3ed05e72f17509e3e732b67488b4643066d'>.guix-authorizations: Remove former keys that are no longer used.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Remove old keys of dvc, efraim, and janneke.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-07-01 12:50:22 +0200'>2020-07-01</span></td><td><a href='/guix/commit/.guix-authorizations?id=eb8a79218d33a513d4673162fd752efb1152a084'>.guix-authorizations: Remove brettgilio's old key.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Remove key "DFC0 C7F7 9EE6 0CA7 AE55  5E19 6722
43C4 A03F 0EEE" (Brett Gilio).  See
&lt;https://lists.gnu.org/archive/html/guix-devel/2020-06/msg00323.html&gt;.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-05-04 10:43:52 +0200'>2020-05-04</span></td><td><a href='/guix/commit/.guix-authorizations?id=d074f73aacc5a39aed0202d6e45721f53f34a8c0'>.guix-authorizations: Add bricewge to the committers.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add fingerprint for bricewge.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-05-04 09:56:13 +0200'>2020-05-04</span></td><td><a href='/guix/commit/.guix-authorizations?id=bee5b7a0f8547a40f05d0891a71fff1fed4b2b3e'>.guix-authorizations: Augment.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: Add all the currently authorized committers.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-05-04 09:56:12 +0200'>2020-05-04</span></td><td><a href='/guix/commit/.guix-authorizations?id=c91e27c60864faa229198f6f0caf620275c429a2'>Add '.guix-authorizations'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* .guix-authorizations: New file.
</span></span></td><td>Ludovic Courtès</td></tr>