On Fri, 12 Aug 2011, Sebastian Pop wrote:
> ---
> gcc/doc/install.texi | 8 +++++++-
> 1 files changed, 7 insertions(+), 1 deletions(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index 368221f..f2b2fd9 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -368,6 +368,11 @@ It can be downloaded from
> @uref{http://www.cs.unipr.it/ppl/Download/}.
> The configure option @option{--with-ppl} should be used if PPL is not
> installed in your default library search path.
>
> +@item Integer Set Library (ISL) version 0.08
> +
> +Necessary to build GCC with the Graphite loop optimizations.
> +It can be downloaded from @uref{http://www.kotnet.org/~skimo/isl/}.
So have things changed relative to what was said in
<http://gcc.gnu.org/ml/gcc-patches/2010-08/msg00873.html> about ISL being
included in CLooG-ISL?
Please propose all changes to libraries for building GCC in separate
threads on the gcc@ list rather than just in patches on gcc-patches - the
principle of what would be needed should be clearly understood before
things get to the point of patch posting. Make very clear what different
configurations have been tested, including both static and shared
libraries, different hosts (as many as possible among the primary and
secondary platforms) and Canadian cross configurations, and solicit
assistance to test other platforms as needed. See what was done for the
original inclusion of Graphite and the associated use of PPL. Make clear
whether versions of the libraries in question might affect the code
generated, and if so then default to version checks tight enough to avoid
such dependence.
--
Joseph S. Myers
jos...@codesourcery.com
