On Mon, 15 Aug 2011, Sebastian Pop wrote: > --- > gcc/doc/install.texi | 8 +++++++- > 1 files changed, 7 insertions(+), 1 deletions(-)
This needs a ChangeLog entry. With one, this is fine. While you are at it... > -If you do not have PPL (the Parma Polyhedra Library) and the CLooG > +If you do not have ISL (the Integer Set Library), > +PPL (the Parma Polyhedra Library), and the CLooG (the Chunky Loop Generator) > libraries installed in a standard location and you want to build GCC, > you can explicitly specify the directory where they are installed > (@samp{--with-ppl=@/@var{pplinstalldir}}, ...can you make this installed via ... That is, omit the parenthesis and include the options as part of the regular sentence. Gerald