This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Clarify cloog install docs


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]