bug#28287: isl and cloog too old

[Ludovic Courtès]

Efraim Flashner <address@hidden> skribis:

> When we build address@hidden and even address@hidden our copies of isl and 
> cloog are too old,
> instead we end up using the bundled copies in gcc. We haven't updated our 
> copies
> of isl or cloog because we haven't found a version combo that will build
> cloog with unbundled isl. I think we would do better to update isl and
> cloog so that they can be used to build gcc, and to just use the bundled
> isl in cloog when building cloog.

FWIW the GCC 7 manual says “isl Library version 0.15 or later” and does
not even mention Cloog (info "(gccinstall) Prerequisites").

The GCC 6 manual has “isl Library version 0.16, 0.15, or 0.14” and no
mention of Cloog.

Ludo’.