Patchwork [11/20] document ISL requirement for GCC installation

login
register
mail settings
Submitter Sebastian Pop
Date Aug. 15, 2011, 7:12 a.m.
Message ID <1313392379-1525-11-git-send-email-sebpop@gmail.com>
Download mbox | patch
Permalink /patch/109998/
State New
Headers show

Comments

Sebastian Pop - Aug. 15, 2011, 7:12 a.m.
---
 gcc/doc/install.texi |    8 +++++++-
 1 files changed, 7 insertions(+), 1 deletions(-)
Gerald Pfeifer - Aug. 15, 2011, 8:25 p.m.
On Mon, 15 Aug 2011, Sebastian Pop wrote:
> ---
>  gcc/doc/install.texi |    8 +++++++-
>  1 files changed, 7 insertions(+), 1 deletions(-)

This needs a ChangeLog entry.  With one, this is fine.

While you are at it...

> -If you do not have PPL (the Parma Polyhedra Library) and the CLooG
> +If you do not have ISL (the Integer Set Library),
> +PPL (the Parma Polyhedra Library), and the CLooG (the Chunky Loop Generator)
>  libraries installed in a standard location and you want to build GCC,
>  you can explicitly specify the directory where they are installed
>  (@samp{--with-ppl=@/@var{pplinstalldir}},

...can you make this

  installed via ... 

That is, omit the parenthesis and include the options as part of the
regular sentence.

Gerald

Patch

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/}.
+
 @item CLooG-ISL 0.16
 
 Necessary to build GCC with the Graphite loop optimizations.  It is
@@ -1620,7 +1625,8 @@  a cross compiler, they will not be used to configure target libraries.
 @itemx --with-cloog=@var{pathname}
 @itemx --with-cloog-include=@var{pathname}
 @itemx --with-cloog-lib=@var{pathname}
-If you do not have PPL (the Parma Polyhedra Library) and the CLooG
+If you do not have ISL (the Integer Set Library),
+PPL (the Parma Polyhedra Library), and the CLooG (the Chunky Loop Generator)
 libraries installed in a standard location and you want to build GCC,
 you can explicitly specify the directory where they are installed
 (@samp{--with-ppl=@/@var{pplinstalldir}},