On Sat, Jul 7, 2012 at 12:35 AM, Matthias Klose 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
>> +intern
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.
wh
