Disabling floating point code in mini-gmp?

[Niels Möller]

Marc Glisse <marc.glisse at inria.fr> writes:

> On Wed, 24 Sep 2025, Niels Möller wrote:
>
>> My motivation for disabling floats in particular is for supporting
>> embedded systems without floating point, where it's desirable to not get
>> a link dependency on a software float implementation.
>
> Makes sense to me.

Committed and pushed now.

Regards, 
/Niels

PS. When pushing, I saw these messages:

  remote: added 1 changesets with 5 changes to 5 files
  remote: notify: sending 1 subscribers 1 changes
  remote: warning: changegroup.makesnap hook exited with status 12

-- 
Niels Möller. PGP key CB4962D070D77D7FCB8BA36271D8F1FF368C6677.
Internet email is subject to wholesale government surveillance.