Re: Merging bignum to master

[Paul Eggert]

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

The GNU coding standards say that --enable is supposed to be for adding 
user-level facilities, which this is not: the user-level behavior does not 
change. Conversely, the coding standards say that --with is appropriate for 
choosing to use a library like GMP. So --with-SOMETHING seems more appropriate 
here than --enable-SOMETHING.

That being said, the distinction between --with-FOO and --enable-FOO has long 
been a confusing area of the GNU coding standards -- as witnessed by the other 
packages you're thinking about.