[RFA/doco 3/4] gdb/README: Document the --with-libgmp-prefix configure option

Joel Brobecker
2020-11-22T11:56:50Z

gdb/ChangeLog:

* README: Document the --with-libgmp-prefix configure option.
---
gdb/README | 5 +++++
1 file changed, 5 insertions(+)

diff --git a/gdb/README b/gdb/README
index 0ec1605ce5a..a7908453ba7 100644
--- a/gdb/README
+++ b/gdb/README
@@ -484,6 +484,11 @@ more obscure GDB `configure' options are not listed here.
not have liblzma installed, you can get the latest version from
`https://tukaani.org/xz/'.

+`--with-libgmp-prefix=DIR'
+ Build GDB using the GMP library installed at the directory DIR.
+ If your host does not have GMP installed, you can get the latest
+ version at `https://gmplib.org/'.
+
`--with-mpfr'
Build GDB with GNU MPFR, a library for multiple-precision
floating-point computation with correct rounding. (Done by
--
2.25.1