[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Merging bignum to master

From: Paul Eggert
Subject: Re: Merging bignum to master
Date: Sun, 12 Aug 2018 16:53:07 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]