Re: [RFA] Update gdb's configure instructions

[Eli Zaretskii <eliz@gnu.org>]

> From: Tom Tromey <tom@tromey.com>
> Cc: Tom Tromey <tom@tromey.com>,  gdb-patches@sourceware.org
> Date: Thu, 27 Sep 2018 16:20:09 -0600
> 
> I think this version addresses all the comments.

Thanks.  This LGTM, modulo 2 nits below.

> I hope so anyway, I tend to lose patience editing this text.

I know how you feel, thanks for doing this.

> +`--with-lzma'
> +     Build GDB with LZMA, a compression library.  (Done by default if
> +     liblzma is installed and found at configure time.)  LZMA is used
> +     by GDB's "mini debuginfo" feature, which is only useful on
> +     platforms using the ELF object file format..  If your host does
                                                  ^^
A typo.

> +`--with-python[=PYTHON]'
>       Build GDB with Python scripting support.  (Done by default if
>       libpython is present and found at configure time.)  Python makes
>       GDB scripting much more powerful than the restricted CLI
>       scripting language.  If your host does not have Python installed,
> -     you can find it on http://www.python.org/download/.  The oldest
> +     you can find it on `http://www.python.org/download/'.  The oldest
>       version of Python supported by GDB is 2.4.  The optional argument
> -     PATH says where to find the Python headers and libraries; the
> -     configure script will look in PATH/include for headers and in
> -     PATH/lib for the libraries.
> +     PYTHON names a Python executable, which will be queried to find
> +     the Python headers and libraries.

Did this change since GDB 8.2?  Because when I built GDB 8.2, the
argument to --with-python was the top-level directory of the Python
installation on my build system.