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

login
register
mail settings
Submitter Sebastian Pop
Date Aug. 15, 2011, 1:27 p.m.
Message ID <CAFk3UF_RHyHZ=z3VnrLzEuRH98uSSpSR0Z83UnCrqUOfSWJ2RQ@mail.gmail.com>
Download mbox | patch
Permalink /patch/110027/
State New
Headers show

Comments

Sebastian Pop - Aug. 15, 2011, 1:27 p.m.
On Mon, Aug 15, 2011 at 02:36, Sven Verdoolaege <skimo@kotnet.org> wrote:
>> +It can be downloaded from @uref{http://www.kotnet.org/~skimo/isl/}.
>
> Why don't you want to use the official URL?

Changed now.

Patch

From 93d892edaa303736cd0ca89662bec979aec0485c Mon Sep 17 00:00:00 2001
From: Sebastian Pop <sebpop@gmail.com>
Date: Fri, 12 Aug 2011 10:14:34 -0500
Subject: [PATCH] document ISL requirement for GCC installation

---
 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..fa561ff 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://freshmeat.net/projects/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}},
-- 
1.7.4.1