On Sat, Aug 13, 2011 at 6:26 PM, 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.
Well, I would simply have linked the bundled ISL statically into libcloog. Richard.