[PATCH 2/2] document ISL requirement for GCC installation

[Sebastian Pop]

On Sat, Aug 13, 2011 at 11:26, Matthias Klose <doko@debian.org> wrote:
> On 08/13/2011 06:02 PM, Sebastian Pop wrote:
>> On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers <joseph@codesourcery.com> wrote:
>>> I advise either removing the option for CLooG to use bundled ISL, or
>>> making the bundled version the recommended version for GCC.  Having too
>>> many ways to configure things is bad.
>>
>> I would prefer using the ISL bundled with CLooG and not have
>> to provide a way to configure GCC with ISL.
>
> which would be exactly the way no distribution would use it. So please just
> don't bundle ISL with CLoog.

Sven also pointed out that it would be a mistake to use the ISL
bundled with CLooG.
So, I will prepare a patch for GCC to use a configure option --with-isl.

Sebastian