diff options
author | Richard Biener <rguenther@suse.de> | 2013-02-05 09:26:06 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2013-02-05 09:26:06 +0000 |
commit | 6f22445a460bce2dd3a52037e2a31c62dd2ad57c (patch) | |
tree | 403dfb62ee4d81157dac879891956926e7c037bb /gcc/doc | |
parent | ec4224ace54a5be0094fca263fe138f0ec77a61c (diff) | |
download | gcc-6f22445a460bce2dd3a52037e2a31c62dd2ad57c.zip gcc-6f22445a460bce2dd3a52037e2a31c62dd2ad57c.tar.gz gcc-6f22445a460bce2dd3a52037e2a31c62dd2ad57c.tar.bz2 |
install.texi: Refer to ISL, not PPL.
2013-02-05 Richard Biener <rguenther@suse.de>
* doc/install.texi: Refer to ISL, not PPL.
From-SVN: r195752
Diffstat (limited to 'gcc/doc')
-rw-r--r-- | gcc/doc/install.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 92bfc8b..1265129 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -1619,9 +1619,9 @@ variable (@env{LD_LIBRARY_PATH} on GNU/Linux and Solaris systems). These flags are applicable to the host platform only. When building a cross compiler, they will not be used to configure target libraries. -@item --with-ppl=@var{pathname} -@itemx --with-ppl-include=@var{pathname} -@itemx --with-ppl-lib=@var{pathname} +@item --with-isl=@var{pathname} +@itemx --with-isl-include=@var{pathname} +@itemx --with-isl-lib=@var{pathname} @itemx --with-cloog=@var{pathname} @itemx --with-cloog-include=@var{pathname} @itemx --with-cloog-lib=@var{pathname} |