[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: |
Wed, 15 Aug 2018 22:41:28 -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. ]]]
> Strictly speaking, I supose the GNU Coding Standards require Coreutils to
have
> both a --with-gmp option (to control whether the GMP library is used) and
an
> --enable-bignum option (to control whether bignums are supported).
Why would we need both? Given --enable-bignums, which seems
fundametally to fit the purpose, is there really a reason for
--with-gmp? Do we support bignums other than using gmp?
> I'd be more inclined to go in the direction Tom Tromey suggested,
> which is to no longer require a sharp distinction between
> --with-FOO and --enable-FOO since the distinction's confusion is
> more trouble than it's worth.
To me that sounds like surrendering to confusion without trying to
clear it up.
--
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, 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, 2018/08/13
- Re: Merging bignum to master, Paul Eggert, 2018/08/13
- Re: Merging bignum to master,
Richard Stallman <=
- 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
Re: Merging bignum to master, Pip Cet, 2018/08/12