Re: Merging bignum to master

[Eli Zaretskii]

> From: Paul Eggert <address@hidden>
> Date: Sun, 12 Aug 2018 01:09:26 -0700
> 
> I didn't call the option --with-gmp, since the idea is that Emacs always uses 
> GMP in some form or another. I called it --with-mini-gmp, as it controls 
> whether 
> Emacs uses mini-gmp or regular GMP.

I think other packages use --enable-mini-gmp, so maybe we should name
the option the same, for consistency.

Thanks.