[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Cleaning out old X11 toolkits?
From: |
Andy Moreton |
Subject: |
Re: Cleaning out old X11 toolkits? |
Date: |
Sun, 14 Feb 2021 18:18:11 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (windows-nt) |
On Sun 14 Feb 2021, Eli Zaretskii wrote:
>> From: Ulrich Mueller <ulm@gentoo.org>
>> Date: Sun, 14 Feb 2021 10:33:32 +0100
>> Cc: Colin Baxter <m43cap@yandex.com>, emacs-devel@gnu.org
>>
>> (BTW, why doesn't --without-all imply the --without-json and
>> --without-libgmp options? That's what I would have expected.)
>
> GMP cannot be removed, since we now support bignums, and that's not an
> optional feature.
However if libgmp is not found, emacs should be using lib/mini-gmp* as
the GMP implementation (slower than libgmp but aways available).
AndyM
- Re: Cleaning out old X11 toolkits?, (continued)
- Re: Cleaning out old X11 toolkits?, Eli Zaretskii, 2021/02/13
- Re: Cleaning out old X11 toolkits?, Colin Baxter, 2021/02/13
- Re: Cleaning out old X11 toolkits?, martin rudalics, 2021/02/13
- Re: Cleaning out old X11 toolkits?, Ulrich Mueller, 2021/02/13
- Re: Cleaning out old X11 toolkits?, martin rudalics, 2021/02/13
- Re: Cleaning out old X11 toolkits?, Jean Louis, 2021/02/13
- Re: Cleaning out old X11 toolkits?, martin rudalics, 2021/02/14
- Re: Cleaning out old X11 toolkits?, Ulrich Mueller, 2021/02/14
- Re: Cleaning out old X11 toolkits?, martin rudalics, 2021/02/14
- Re: Cleaning out old X11 toolkits?, Eli Zaretskii, 2021/02/14
- Re: Cleaning out old X11 toolkits?,
Andy Moreton <=
- Re: Cleaning out old X11 toolkits?, Eli Zaretskii, 2021/02/14
- Re: Cleaning out old X11 toolkits?, Óscar Fuentes, 2021/02/14
- Re: Cleaning out old X11 toolkits?, martin rudalics, 2021/02/15
- Re: Cleaning out old X11 toolkits?, Andy Moreton, 2021/02/15
- Re: Cleaning out old X11 toolkits?, Colin Baxter, 2021/02/13
- Re: Cleaning out old X11 toolkits?, Jean Louis, 2021/02/13
- Re: Cleaning out old X11 toolkits?, martin rudalics, 2021/02/13
- Re: Cleaning out old X11 toolkits?, Colin Baxter, 2021/02/13
- Re: Cleaning out old X11 toolkits?, Stefan Monnier, 2021/02/13
- Re: Cleaning out old X11 toolkits?, Robert Pluim, 2021/02/14