aboutsummaryrefslogtreecommitdiff
path: root/gdb/README
diff options
context:
space:
mode:
authorJoel Brobecker <brobecker@adacore.com>2020-11-24 07:09:23 +0400
committerJoel Brobecker <brobecker@adacore.com>2020-11-24 07:09:23 +0400
commitc609df64740369858f1fc5c2137b806c8ed34cd6 (patch)
tree338a4e343e0121a97bd7af34e3b4803c3b19e6d6 /gdb/README
parentfa123c32812987da71b0b1d664f0c80aa2c9d707 (diff)
downloadgdb-c609df64740369858f1fc5c2137b806c8ed34cd6.zip
gdb-c609df64740369858f1fc5c2137b806c8ed34cd6.tar.gz
gdb-c609df64740369858f1fc5c2137b806c8ed34cd6.tar.bz2
gdb/README: Document the --with-libgmp-prefix configure option
gdb/ChangeLog: * README: Document the --with-libgmp-prefix configure option.
Diffstat (limited to 'gdb/README')
-rw-r--r--gdb/README5
1 files changed, 5 insertions, 0 deletions
diff --git a/gdb/README b/gdb/README
index 0ec1605..a790845 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