https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66732
Timo Gurr changed:
What|Removed |Added
CC||timo.gurr at gmail dot com
--- Comment #1 from Timo Gurr ---
Mike Frysinger sent a patch allowing GCC to build with ISL 0.15 to the
gcc-patches mailing list:
https://gcc.gnu.org/ml/gcc-patches/2015-07/msg01162.html
and he provides patches (for Gentoo) for GCC 4.9.3 and 5.1.0:
https://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo/src/patchsets/gcc/4.9.3/gentoo/75_all_gcc-4.9-isl-0.15.patch?revision=1.1
https://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo/src/patchsets/gcc/5.1.0/gentoo/75_all_gcc5-isl-0.15.patch?revision=1.1