Patchwork Clarify cloog install docs

login
register
mail settings
Submitter Richard Guenther
Date July 3, 2012, 1:37 p.m.
Message ID <alpine.LNX.2.00.1207031536070.17233@jbgna.fhfr.qr>
Download mbox | patch
Permalink /patch/168811/
State New
Headers show

Comments

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.
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

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