On Sat, Aug 13, 2011 at 11:26, Matthias Klose <d...@debian.org> wrote: > On 08/13/2011 06:02 PM, Sebastian Pop wrote: >> On Sat, Aug 13, 2011 at 10:32, Joseph S. Myers <jos...@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