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;
ref='/guix/'>guix</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'/><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=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>refs</a><a class='active' href='/guix/log/gnu/packages/spice.scm'>log</a><a href='/guix/tree/gnu/packages/spice.scm?id=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>tree</a><a href='/guix/commit/gnu/packages/spice.scm?id=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>commit</a><a href='/guix/diff/gnu/packages/spice.scm?id=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/spice.scm'>
<input type='hidden' name='id' value='4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'/><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=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>root</a>/<a href='/guix/log/gnu?id=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>gnu</a>/<a href='/guix/log/gnu/packages?id=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>packages</a>/<a href='/guix/log/gnu/packages/spice.scm?id=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c'>spice.scm</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/gnu/packages/spice.scm?id=4ba5e2929dfaa6e97875c8bc50a3b02709cc546c&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2023-04-09 12:55:45 -0400'>2023-04-09</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=118fb307e02fe1bba0f296dd0ee0705d6f1b52ae'>gnu: libcacard: Use latest meson.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-04-03 22:35:09 +0300'>2023-04-03</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=e382f1fb3c3848f13774b78b89eaab4e4eaa7a55'>gnu: libcacard: Build with older meson.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2023-02-25 15:03:49 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=1dac5b21579cacd8d4a74bea1e181e68d412e246'>gnu: virglrenderer: Update to 0.10.4.</a><span class='msg-avail'>...</span></td><td>Simon Streit</td></tr>
<tr><td><span title='2023-02-25 14:46:55 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=bbc10628b62d9b057b4b77b941c0d8678af9e2a3'>gnu: spice-gtk: Adjust the default file name of the ACL helper binary.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:54 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=27ae83f5f044a0aa80d804b576c397f9596b95c4'>gnu: spice-gtk: Enable support for polkit, webdav and others.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:53 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=3b18fbabb6b47bfdb625a291b284ded689a34c93'>gnu: spice-vdagent: Update to 0.22.1.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:53 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=0d08e90abc7064aba13a56de63c8ecfa1f97d72c'>gnu: spice: Update to 0.15.1.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:53 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=5770a6e56b6a1395e83695f32b4267d62d0bd9dd'>gnu: libcacard: Remove obsolete configure flags.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:52 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=7b64e57c4c5eeb539fce45ca030c7ec708611894'>gnu: virglrenderer: Update to 0.7.0.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:52 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=0d07629295b5e9a0f170640b1aa741ffc3b1153c'>gnu: usbredir: Update to 0.13.0.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:52 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=c4678cf19b295cbaf6196ca83947c2ea7ce487b5'>gnu: spice-protocol: Update to 0.14.4.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:52 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=2a607b27a21e06dd1bcad5d909479a50c0e0ee52'>gnu: spice-gtk: Propagate libjpeg-turbo, lz4, opus, and usbredir.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:51 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=9f3494fa9c12bfd3df937893683f8c5402f1e7f3'>gnu: spice-gtk: Update to 0.42.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:51 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=d5fa1203f654616c5991cad55ed89ca47051ecb3'>gnu: spice-gtk: Use gexps.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:51 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=da6d173980820a6f8e119ebba17f0e61b8ec9468'>gnu: spice-gtk: Remove input labels.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-02-25 14:46:51 -0500'>2023-02-25</span></td><td><a href='/guix/commit/gnu/packages/spice.scm?id=f702206a371e74964747c3d95241dd027e77d2a6'>gnu: spice-gtk: Fix indentation and normalize field order.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>