diff options
Diffstat (limited to 'gcc/doc/install.texi')
| -rw-r--r-- | gcc/doc/install.texi | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index b262bee76c9..436f6567d53 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -362,12 +362,12 @@ installed but it is not in your default library search path, the @option{--with-mpc} configure option should be used. See also @option{--with-mpc-lib} and @option{--with-mpc-include}. -@item Parma Polyhedra Library (PPL) version 0.11 +@item ISL Library version 0.10 Necessary to build GCC with the Graphite loop optimizations. -It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}. +It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}. -The @option{--with-ppl} configure option should be used if PPL is not +The @option{--with-isl} configure option should be used if ISL is not installed in your default library search path. @item CLooG 0.17.0 @@ -1630,14 +1630,14 @@ 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 and the CLooG 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}}, +(@samp{--with-isl=@/@var{islinstalldir}}, @samp{--with-cloog=@/@var{clooginstalldir}}). The -@option{--with-ppl=@/@var{pplinstalldir}} option is shorthand for -@option{--with-ppl-lib=@/@var{pplinstalldir}/lib} and -@option{--with-ppl-include=@/@var{pplinstalldir}/include}. Likewise the +@option{--with-isl=@/@var{islinstalldir}} option is shorthand for +@option{--with-isl-lib=@/@var{islinstalldir}/lib} and +@option{--with-isl-include=@/@var{islinstalldir}/include}. Likewise the @option{--with-cloog=@/@var{clooginstalldir}} option is shorthand for @option{--with-cloog-lib=@/@var{clooginstalldir}/lib} and @option{--with-cloog-include=@/@var{clooginstalldir}/include}. If these |