gdb/README: Document the --with-libgmp-prefix configure option

gdb/ChangeLog:

        * README: Document the --with-libgmp-prefix configure option.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 2a29c1c7660c3f8f5ea84c6f1f97c0b7ac21ca16..ece0de952798f300010eabf956bb82dbf7164259 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2020-11-24  Joel Brobecker  <brobecker@adacore.com>
+
+       * README: Document the --with-libgmp-prefix configure option.
+
 2020-11-24  Joel Brobecker  <brobecker@adacore.com>
 
        * NEWS: Add entry documenting support for DWARF-based fixed

diff --git a/gdb/README b/gdb/README
index 0ec1605ce5a79ebbd4ad08d78ce8c30bc36c9483..a7908453ba7d36bb298b479d6eecc0c281bcfcbc 100644 (file)
--- 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