[Top][All Lists]

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

Re: Merging bignum to master

From: Ulrich Mueller
Subject: Re: Merging bignum to master
Date: Mon, 13 Aug 2018 10:06:45 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

>>>>> On Mon, 13 Aug 2018, Andreas Schwab wrote:

> On Aug 12 2018, Paul Eggert <address@hidden> wrote:
>> 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.

> The autoconf manual says about --enable: "They should only cause parts
> of the program to be built rather than left out."  The mini-gmp source
> is a part of the sources, and --enable-mini-gmp enables the use of it.
> --with is for external dependencies.

The option also controls linking against the external libgmp, so it is
not entirely about internal sources.

Maybe it would be cleaner to call the option --with-gmp (and invert its
logic), after all? It could still be enabled by default.

reply via email to

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