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?
Matthias
