Message ID | alpine.LNX.2.00.1207031536070.17233@jbgna.fhfr.qr |
---|---|
State | New |
Headers | show |
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
On Sat, Jul 7, 2012 at 12:35 AM, Matthias Klose <doko@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
Index: gcc/doc/install.texi =================================================================== --- gcc/doc/install.texi (revision 189208) +++ gcc/doc/install.texi (working copy) @@ -376,6 +376,10 @@ Necessary to build GCC with the Graphite downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/} as @file{cloog-0.17.0.tar.gz}. The @option{--with-cloog} configure option should be used if CLooG is not installed in your default library search path. +CLooG needs to be built against ISL 0.10, not its included copy of ISL +which is too old. Use @option{--with-isl=system} to direct CLooG to pick +up an already installed ISL. CLooG needs to be configured to use GMP +internally, use @option{--with-bits=gmp} to direct it to do that. @end table