[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging bignum to master
From: |
Richard Stallman |
Subject: |
Re: Merging bignum to master |
Date: |
Mon, 13 Aug 2018 19:31:11 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
Eli said:
> The autoconf manual says about --enable: "They should only cause parts
> of the program to be built rather than left out."
Yes, but that is a superficial way to look at it. The real intended
meaning of --enable is to include a feature, or support for some
feature. So --enable option ought to be named after the feature it
enables, NOT after some piece of code.
If we stick to that, the substantial difference between --enable and
--with will be clear, so people will not confuse them.
> 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.
Is that because some cases have been handled erroneously? Or is it
because some cases don't really fit into either --with or --enable?
If the latter, I think we need to take the bull by the horns
and work out a good way to handle those cases, rather than forcing them
into one of two slots which they do not fit.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: Merging bignum to master, (continued)
- 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, 2018/08/13
- 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 <=
- 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
- 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, John Wiegley, 2018/08/12