Re: [PATCH] Clarify cloog install docs

2012-07-08 Thread Richard Guenther
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

Re: [PATCH] Clarify cloog install docs

2012-07-06 Thread Matthias Klose
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

[PATCH] Clarify cloog install docs

2012-07-03 Thread Richard Guenther
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). Thus, clarified and committed. Richard. 2012-07-03 Richard Guenther * doc/install.texi (CLooG): Clarify how CLooG needs to be configured and