Re: Merging bignum to master

[Ulrich Mueller]

>>>>> On Sun, 12 Aug 2018, Paul Eggert wrote:

>> I noticed that there is no --with-gmp configure option to control
>> linking against libgmp. It this as it is supposed to be?

> We should have an option, for the same reason we have an option for
> building versus linking to the regex library. I installed the attached
> to try to do that. 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.

Thanks. There's still a problem, with an explicit --without-mini-gmp
option both GMP_LIB and GMP_OBJ end up being empty, and linking of
temacs fails.