diff options
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} |