[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging bignum to master
From: |
Eli Zaretskii |
Subject: |
Re: Merging bignum to master |
Date: |
Sun, 12 Aug 2018 21:05:25 +0300 |
> From: Paul Eggert <address@hidden>
> Date: Sun, 12 Aug 2018 01:09:26 -0700
>
> I didn't call the option --with-gmp, since the idea is that Emacs always uses
> GMP in some form or another. I called it --with-mini-gmp, as it controls
> whether
> Emacs uses mini-gmp or regular GMP.
I think other packages use --enable-mini-gmp, so maybe we should name
the option the same, for consistency.
Thanks.
- Re: Merging bignum to master, (continued)
- Re: Merging bignum to master, Basil L. Contovounesios, 2018/08/11
- Re: Merging bignum to master, Tom Tromey, 2018/08/12
- Re: Merging bignum to master, Basil L. Contovounesios, 2018/08/13
- Re: Merging bignum to master, Andy Moreton, 2018/08/13
- Re: Merging bignum to master, Andy Moreton, 2018/08/15
- Re: Merging bignum to master, Basil L. Contovounesios, 2018/08/16
- Re: Merging bignum to master, Paul Eggert, 2018/08/19
- 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 <=
- 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, 2018/08/15