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 | |
| 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')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/doc/install.texi | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8c480bb..4150bb8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2013-02-05 Richard Biener <rguenther@suse.de> + + * doc/install.texi: Refer to ISL, not PPL. + 2013-02-05 Jan Hubicka <jh@suse.cz> PR tree-optimization/55789 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} |