This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Clarify cloog install docs
- From: Richard Guenther <rguenther at suse dot de>
- To: gcc-patches at gcc dot gnu dot org
- Date: Tue, 3 Jul 2012 15:37:00 +0200 (CEST)
- Subject: [PATCH] Clarify cloog install docs
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.
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