Clarify cloog install docs

Submitted by Richard Guenther on July 3, 2012, 1:37 p.m.

Details

Message ID alpine.LNX.2.00.1207031536070.17233@jbgna.fhfr.qr
State New
Headers show

Commit Message

Richard Guenther July 3, 2012, 1:37 p.m.
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  <rguenther@suse.de>

	* doc/install.texi (CLooG): Clarify how CLooG needs to be
	configured and that it needs to be built against ISL 0.10.

Comments

Matthias Klose July 6, 2012, 10:35 p.m.
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
Richard Guenther July 8, 2012, 8:37 a.m.
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

Patch hide | download patch | download mbox

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