Error in gcc.gnu. org/install/configure.html webpage

[Richard Biener]

On Mon, Feb 4, 2013 at 9:43 PM, Zhiming Wang <zmwang@stanford.edu> wrote:
> Hi there,
>
> When reading through http://gcc.gnu.org/install/configure.html configuration options, I spotted an inconsistency regarding Graphite loop optimization:
>
> "
> --with-ppl=pathname
> --with-ppl-include=pathname
> --with-ppl-lib=pathname
> --with-cloog=pathname
> --with-cloog-include=pathname
> --with-cloog-lib=pathname
> 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 (`--with-isl=islinstalldir', `--with-cloog=clooginstalldir'). The --with-isl=islinstalldir option is shorthand for --with-isl-lib=islinstalldir/lib and --with-isl-include=islinstalldir/include. Likewise the --with-cloog=clooginstalldir option is shorthand for --with-cloog-lib=clooginstalldir/lib and --with-cloog-include=clooginstalldir/include. If these shorthand assumptions are not correct, you can use the explicit include and lib options directly.
> "
>
> The listed option is —with-ppl, but the description refers to —with-isl instead. This is rather tricky. Hope you can fix this!
>
> Many thanks for your great work,
> Z.W.

Fixed.

Richard.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p
Type: application/octet-stream
Size: 826 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc/attachments/20130205/e6310335/attachment.obj>