FYI - RFC about making GMP a required dep for GDB

[Eli Zaretskii]

> Date: Sun, 11 Mar 2018 11:32:53 -0400
> From: Joel Brobecker <brobecker@adacore.com>
> 
> Hi Eli,
> 
> I just wanted to make sure you saw the following proposal, in case
> you wanted to provide feedback about it. No worries if you don't!

I missed that somehow, or maybe didn't think my input was important.
Thanks for the heads up.

> But if you do, could you send it on the list?  So far, I got one answer,
> which was positive.
> 
> https://www.sourceware.org/ml/gdb-patches/2018-03/msg00148.html

I have no problems with adding this dependency.  A GDB built with MPFR
already indirectly depends on GMP as well, so it sounds like that ship
has sailed already.  MinGW ports of GMP are available, so portability
to native MS-Windows should not be an issue.

(Btw, would it make sense to provide the features via MPFR?  Than we'd
have only one explicit dependency.  Not that it matters too much.)

HTH