diff options
| author | Benson Muite <benson_muite@emailplus.org> | 2023-03-07 21:48:20 +0000 |
|---|---|---|
| committer | Sandra Loosemore <sandra@codesourcery.com> | 2023-03-07 21:48:20 +0000 |
| commit | c7867f82f4c08fb355bb0115ade51df8fdbe3832 (patch) | |
| tree | fa1271e4ea5b030ff8ddbdda67b195fc3f231250 /gcc | |
| parent | 4f181f9c7ee3efc509d185fdfda33be9018f1611 (diff) | |
| download | gcc-c7867f82f4c08fb355bb0115ade51df8fdbe3832.zip gcc-c7867f82f4c08fb355bb0115ade51df8fdbe3832.tar.gz gcc-c7867f82f4c08fb355bb0115ade51df8fdbe3832.tar.bz2 | |
docs: Add link to gmplib.org.
gcc/ChangeLog
* doc/install.texi (Prerequisites): Add link to gmplib.org.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/doc/install.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 9133c8f..f549ba5 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -396,7 +396,8 @@ install the libraries. @table @asis @item GNU Multiple Precision Library (GMP) version 4.3.2 (or later) -Necessary to build GCC@. If a GMP source distribution is found in a +Necessary to build GCC@. It can be downloaded from +@uref{https://gmplib.org/}. If a GMP source distribution is found in a subdirectory of your GCC sources named @file{gmp}, it will be built together with GCC. Alternatively, if GMP is already installed but it is not in your library search path, you will have to configure with the |