diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-05 09:26:06 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-05 09:26:06 +0000 |
| commit | b6a9ee958eb2ba0fd6a9eb649c021127627b3a4e (patch) | |
| tree | 403dfb62ee4d81157dac879891956926e7c037bb /gcc/doc/install.texi | |
| parent | b9b931d92908ce569db6c1dd2cb95253f1daa7af (diff) | |
| download | gcc-b6a9ee958eb2ba0fd6a9eb649c021127627b3a4e.tar.gz | |
2013-02-05 Richard Biener <rguenther@suse.de>
* doc/install.texi: Refer to ISL, not PPL.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195752 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/install.texi')
| -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 92bfc8bd396..1265129988e 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} |