[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.
- Re: Merging bignum to master, (continued)
Re: Merging bignum to master, Eli Zaretskii, 2018/08/17
Re: Merging bignum to master, Ulrich Mueller, 2018/08/12
- Re: Merging bignum to master, Paul Eggert, 2018/08/12
- Re: Merging bignum to master, Eli Zaretskii, 2018/08/12
- Re: Merging bignum to master, Paul Eggert, 2018/08/12
- Re: Merging bignum to master, Tom Tromey, 2018/08/12
- Re: Merging bignum to master, Andreas Schwab, 2018/08/13
- Re: Merging bignum to master,
Ulrich Mueller <=
- Re: Merging bignum to master, Paul Eggert, 2018/08/13
- Re: Merging bignum to master, Paul Eggert, 2018/08/14
- Re: Merging bignum to master, Richard Stallman, 2018/08/15
Re: Merging bignum to master, Richard Stallman, 2018/08/13
Re: Merging bignum to master, Paul Eggert, 2018/08/13
Re: Merging bignum to master, Richard Stallman, 2018/08/15
Re: Merging bignum to master, Paul Eggert, 2018/08/16
Re: Merging bignum to master, Stefan Monnier, 2018/08/16
Re: Merging bignum to master, Ulrich Mueller, 2018/08/12
Re: Merging bignum to master, Eli Zaretskii, 2018/08/12