[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:46:57 -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. ]]]
> On further thought it's probably a bit clearer to call it --with-libgmp
> rather than --with-gmp since GMP code is always used one way or another,
> so I installed the attached.
If it is a question of how the feature is implemented, then --with is
the right kind of option for it.
--
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 <=
- 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
- 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