From c609df64740369858f1fc5c2137b806c8ed34cd6 Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Tue, 24 Nov 2020 07:09:23 +0400 Subject: [PATCH] gdb/README: Document the --with-libgmp-prefix configure option gdb/ChangeLog: * README: Document the --with-libgmp-prefix configure option. --- gdb/ChangeLog | 4 ++++ gdb/README | 5 +++++ 2 files changed, 9 insertions(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 2a29c1c7660..ece0de95279 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2020-11-24 Joel Brobecker + + * README: Document the --with-libgmp-prefix configure option. + 2020-11-24 Joel Brobecker * NEWS: Add entry documenting support for DWARF-based fixed 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.30.2