On Sat, Jul 7, 2012 at 12:35 AM, Matthias Klose <d...@ubuntu.com> wrote:
> On 03.07.2012 15:37, Richard Guenther wrote:
>> People are running into issues when mixing cloog built against isl 0.08
>> and gcc building against isl 0.10 (which is expected I guess).
>
>> CLooG needs to be configured to use GMP
>> +internally, use @option{--with-bits=gmp} to direct it to do that.
>
> why is this necessary? Even with this option I end up with a dependency on the
> system gmp library. Or do you need to configure --with-gmp=build explicitly?
> Or
> how can the system gmp be built that it can be used by cloog?
CLooG can use ints instead of gmp as number representation, we need it to
use gmp. This is orthogonal to how CLooG gets to its gmp implementation
which we do not care for.
Richard.
> Matthias
