Check for possible mini-mpf

[Marc Glisse]

On Sat, 11 Apr 2020, Simon Sobisch wrote:

> mini-gmp already includes a subset of the mpn+mpz functions, along with
> another source for mpq.
> Is it planned to add a subset of mpf, too, (if done then I guess it will
> be in an additional source file as it was done for mpq)?
>
> I ask because after checking if GnuCOBOL would work with mini-gmp I
> found that mpf_t (along with functions using it) are not included and
> therefore it currently cannot work.
>
> So I wonder: are there any plans to add the mpf subset to mini-gmp?

I don't think so, the mpf part of GMP is more or less dead. You can ask 
MPFR is they are willing to provide a mini version though...

(Of course I may be wrong)

-- 
Marc Glisse