From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.devel Subject: Re: Merging bignum to master Date: Tue, 14 Aug 2018 16:09:34 -0700 Organization: UCLA Computer Science Department Message-ID: <45550954-8d90-7e5e-a25b-3fc2c0eea730@cs.ucla.edu> References: <877ekwu1mn.fsf@tromey.com> <48742e8c-fffb-7fe0-bb12-2ce3dc171603@cs.ucla.edu> <837ekvlau2.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="------------86501262762891ECB7FA5460" X-Trace: blaine.gmane.org 1534288218 15000 195.159.176.226 (14 Aug 2018 23:10:18 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 14 Aug 2018 23:10:18 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 Cc: Eli Zaretskii , emacs-devel@gnu.org To: Ulrich Mueller , Andreas Schwab Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Aug 15 01:10:13 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fpiS5-0003lV-5k for ged-emacs-devel@m.gmane.org; Wed, 15 Aug 2018 01:10:13 +0200 Original-Received: from localhost ([::1]:46529 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fpiU9-00085H-P4 for ged-emacs-devel@m.gmane.org; Tue, 14 Aug 2018 19:12:21 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57249) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fpiTz-00084k-Bj for emacs-devel@gnu.org; Tue, 14 Aug 2018 19:12:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fpiTv-0000qy-5i for emacs-devel@gnu.org; Tue, 14 Aug 2018 19:12:10 -0400 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:33190) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fpiSt-0000Xy-Nk; Tue, 14 Aug 2018 19:11:14 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 3E525160EC0; Tue, 14 Aug 2018 16:09:39 -0700 (PDT) Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id t_UiwPjHBmyG; Tue, 14 Aug 2018 16:09:34 -0700 (PDT) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id E5F8616103A; Tue, 14 Aug 2018 16:09:34 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id Pymu0i6dFeRg; Tue, 14 Aug 2018 16:09:34 -0700 (PDT) Original-Received: from Penguin.CS.UCLA.EDU (Penguin.CS.UCLA.EDU [131.179.64.200]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id C2785160EC0; Tue, 14 Aug 2018 16:09:34 -0700 (PDT) Openpgp: preference=signencrypt Autocrypt: addr=eggert@cs.ucla.edu; prefer-encrypt=mutual; keydata= xsFNBEyAcmQBEADAAyH2xoTu7ppG5D3a8FMZEon74dCvc4+q1XA2J2tBy2pwaTqfhpxxdGA9 Jj50UJ3PD4bSUEgN8tLZ0san47l5XTAFLi2456ciSl5m8sKaHlGdt9XmAAtmXqeZVIYX/UFS 96fDzf4xhEmm/y7LbYEPQdUdxu47xA5KhTYp5bltF3WYDz1Ygd7gx07Auwp7iw7eNvnoDTAl KAl8KYDZzbDNCQGEbpY3efZIvPdeI+FWQN4W+kghy+P6au6PrIIhYraeua7XDdb2LS1en3Ss mE3QjqfRqI/A2ue8JMwsvXe/WK38Ezs6x74iTaqI3AFH6ilAhDqpMnd/msSESNFt76DiO1ZK QMr9amVPknjfPmJISqdhgB1DlEdw34sROf6V8mZw0xfqT6PKE46LcFefzs0kbg4GORf8vjG2 Sf1tk5eU8MBiyN/bZ03bKNjNYMpODDQQwuP84kYLkX2wBxxMAhBxwbDVZudzxDZJ1C2VXujC OJVxq2kljBM9ETYuUGqd75AW2LXrLw6+MuIsHFAYAgRr7+KcwDgBAfwhPBYX34nSSiHlmLC+ KaHLeCLF5ZI2vKm3HEeCTtlOg7xZEONgwzL+fdKo+D6SoC8RRxJKs8a3sVfI4t6CnrQzvJbB n6gxdgCu5i29J1QCYrCYvql2UyFPAK+do99/1jOXT4m2836j1wARAQABzSBQYXVsIEVnZ2Vy dCA8ZWdnZXJ0QGNzLnVjbGEuZWR1PsLBfgQTAQIAKAUCTIByZAIbAwUJEswDAAYLCQgHAwIG FQgCCQoLBBYCAwECH In-Reply-To: Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 131.179.128.68 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:228542 Archived-At: This is a multi-part message in MIME format. --------------86501262762891ECB7FA5460 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit On 08/13/2018 02:14 AM, Paul Eggert wrote: > Ulrich Mueller wrote: >> Maybe it would be cleaner to call the option --with-gmp (and invert its >> logic), after all? It could still be enabled by default. > > Works for me. > 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. --------------86501262762891ECB7FA5460 Content-Type: text/plain; charset=UTF-8; name="0001-Rename-without-mini-gmp-to-with-libgmp.txt" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="0001-Rename-without-mini-gmp-to-with-libgmp.txt" RnJvbSBmYWZiZTFjM2EyZTMxNzRhZmExZDRiZjZhZWI4NTAyZmFjN2I1OTMzIE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBQYXVsIEVnZ2VydCA8ZWdnZXJ0QGNzLnVjbGEuZWR1 PgpEYXRlOiBUdWUsIDE0IEF1ZyAyMDE4IDE2OjA2OjA1IC0wNzAwClN1YmplY3Q6IFtQQVRD SF0gUmVuYW1lIC0td2l0aG91dC1taW5pLWdtcCB0byAtLXdpdGgtbGliZ21wCk1JTUUtVmVy c2lvbjogMS4wCkNvbnRlbnQtVHlwZTogdGV4dC9wbGFpbjsgY2hhcnNldD1VVEYtOApDb250 ZW50LVRyYW5zZmVyLUVuY29kaW5nOiA4Yml0CgoqIGNvbmZpZ3VyZS5hYyAoSEFWRV9HTVAp OiBSZW5hbWUg4oCYY29uZmlndXJl4oCZIG9wdGlvbiBmcm9tCi0td2l0aG91dC1taW5pLWdt cCB0byAtLXdpdGgtbGliZ21wLiAgQWxsIHVzZXMgY2hhbmdlZC4KKiBkb2MvbGlzcHJlZi9u dW1iZXJzLnRleGkgKFByZWRpY2F0ZXMgb24gTnVtYmVycyk6IExhcmdlCmludGVnZXJzIGFy ZSBhbHdheXMgYXZhaWxhYmxlLiAgQ2xhcmlmeSBob3cgZXEgd29ya3Mgb24gdGhlbS4KLS0t CiBjb25maWd1cmUuYWMgICAgICAgICAgICAgfCAxNSArKysrKysrLS0tLS0tLS0KIGRvYy9s aXNwcmVmL251bWJlcnMudGV4aSB8ICA2ICsrLS0tLQogZXRjL05FV1MgICAgICAgICAgICAg ICAgIHwgIDIgKy0KIDMgZmlsZXMgY2hhbmdlZCwgMTAgaW5zZXJ0aW9ucygrKSwgMTMgZGVs ZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvY29uZmlndXJlLmFjIGIvY29uZmlndXJlLmFjCmlu ZGV4IDdiOTQ0OGUxM2IuLmU1ZDA5NGNmOWUgMTAwNjQ0Ci0tLSBhL2NvbmZpZ3VyZS5hYwor KysgYi9jb25maWd1cmUuYWMKQEAgLTQzMDMsMTcgKzQzMDMsMTYgQEAgQUNfREVGVU4KIEFD X1NVQlNUKERFU0xJQikKIEFDX1NVQlNUKEtSQjRMSUIpCiAKLUFDX0FSR19XSVRIKFttaW5p LWdtcF0sCi0gIFtBU19IRUxQX1NUUklORyhbLS13aXRob3V0LW1pbmktZ21wXSwKLQkJICBb ZG9uJ3QgY29tcGlsZSBhbmQgdXNlIG1pbmktZ21wLCBhIHN1YnN0aXR1dGUgZm9yIHRoZQot CQkgICBHTlUgTXVsdGlwbGUgUHJlY2lzaW9uIChHTVApIGxpYnJhcnk7IHRoaXMgaXMgdGhl Ci0JCSAgIGRlZmF1bHQgb24gc3lzdGVtcyB3aXRoIHJlY2VudC1lbm91Z2ggR01QLl0pXSkK K0FDX0FSR19XSVRIKFtsaWJnbXBdLAorICBbQVNfSEVMUF9TVFJJTkcoWy0td2l0aG91dC1s aWJnbXBdLAorCQkgIFtkb24ndCB1c2UgdGhlIEdOVSBNdWx0aXBsZSBQcmVjaXNpb24gKEdN UCkgbGlicmFyeTsKKwkJICAgdGhpcyBpcyB0aGUgZGVmYXVsdCBvbiBzeXN0ZW1zIGxhY2tp bmcgbGliZ21wLl0pXSkKIEdNUF9MSUI9CiBHTVBfT0JKPW1pbmktZ21wLWVtYWNzLm8KIEhB VkVfR01QPW5vCi1jYXNlICR3aXRoX21pbmlfZ21wIGluCi0gIHllcykgOzsKLSAgbm8pIEhB VkVfR01QPXllcyBHTVBfTElCPS1sZ21wOzsKK2Nhc2UgJHdpdGhfbGliZ21wIGluCisgIG5v KSA7OworICB5ZXMpIEhBVkVfR01QPXllcyBHTVBfTElCPS1sZ21wOzsKICAgKikgQUNfQ0hF Q0tfSEVBREVSUyhbZ21wLmhdLAogICAgICAgIFtPTElCUz0kTElCUwogCUFDX1NFQVJDSF9M SUJTKFtfX2dtcHpfcm9pbml0X25dLCBbZ21wXSkKZGlmZiAtLWdpdCBhL2RvYy9saXNwcmVm L251bWJlcnMudGV4aSBiL2RvYy9saXNwcmVmL251bWJlcnMudGV4aQppbmRleCA4OTIwNWY5 ZGYzLi5iZDYzM2I3N2MzIDEwMDY0NAotLS0gYS9kb2MvbGlzcHJlZi9udW1iZXJzLnRleGkK KysrIGIvZG9jL2xpc3ByZWYvbnVtYmVycy50ZXhpCkBAIC0zMTksMTAgKzMxOSw4IEBAIFBy ZWRpY2F0ZXMgb24gTnVtYmVycwogCiBAZGVmdW4gYmlnbnVtcCBvYmplY3QKIFRoaXMgcHJl ZGljYXRlIHRlc3RzIHdoZXRoZXIgaXRzIGFyZ3VtZW50IGlzIGEgbGFyZ2UgaW50ZWdlciwg YW5kCi1yZXR1cm5zIEBjb2Rle3R9IGlmIHNvLCBAY29kZXtuaWx9IG90aGVyd2lzZS4gIExh cmdlIGludGVnZXJzIGNhbm5vdAotYmUgY29tcGFyZWQgd2l0aCBAY29kZXtlcX0sIG9ubHkg d2l0aCBAY29kZXs9fSBvciBAY29kZXtlcWx9LiAgQWxzbywKLWxhcmdlIGludGVnZXJzIGFy ZSBvbmx5IGF2YWlsYWJsZSBpZiBFbWFjcyB3YXMgY29tcGlsZWQgd2l0aCB0aGUgR01QCi1s aWJyYXJ5LgorcmV0dXJucyBAY29kZXt0fSBpZiBzbywgQGNvZGV7bmlsfSBvdGhlcndpc2Uu ICBVbmxpa2Ugc21hbGwgaW50ZWdlcnMsCitsYXJnZSBpbnRlZ2VycyBjYW4gYmUgQGNvZGV7 PX0gb3IgQGNvZGV7ZXFsfSBldmVuIGlmIHRoZXkgYXJlIG5vdCBAY29kZXtlcX0uCiBAZW5k IGRlZnVuCiAKIEBkZWZ1biBmaXhudW1wIG9iamVjdApkaWZmIC0tZ2l0IGEvZXRjL05FV1Mg Yi9ldGMvTkVXUwppbmRleCBmMWQwOWEyYjYzLi4zYWU5NTZjNzg4IDEwMDY0NAotLS0gYS9l dGMvTkVXUworKysgYi9ldGMvTkVXUwpAQCAtMjcsNyArMjcsNyBAQCBXaGVuIHlvdSBhZGQg YSBuZXcgaXRlbSwgdXNlIHRoZSBhcHByb3ByaWF0ZSBtYXJrIGlmIHlvdSBhcmUgc3VyZSBp dCBhcHBsaWVzLAogKiogRW1hY3Mgbm93IHVzZXMgR01QLCB0aGUgR05VIE11bHRpcGxlIFBy ZWNpc2lvbiBsaWJyYXJ5LgogQnkgZGVmYXVsdCwgaWYgJ2NvbmZpZ3VyZScgZG9lcyBub3Qg ZmluZCBhIHN1aXRhYmxlIGxpYmdtcCwgaXQKIGFycmFuZ2VzIGZvciB0aGUgaW5jbHVkZWQg bWluaS1nbXAgbGlicmFyeSB0byBiZSBidWlsdCBhbmQgdXNlZC4KLVRoZSBuZXcgJ2NvbmZp Z3VyZScgb3B0aW9uIC0td2l0aC1taW5pLWdtcCB1c2VzIG1pbmktZ21wIGV2ZW4gaWYgYQor VGhlIG5ldyAnY29uZmlndXJlJyBvcHRpb24gLS13aXRob3V0LWxpYmdtcCB1c2VzIG1pbmkt Z21wIGV2ZW4gaWYgYQogc3VpdGFibGUgbGliZ21wIGlzIGF2YWlsYWJsZS4KIAogKiogVGhl IG5ldyBjb25maWd1cmUgb3B0aW9uICctLXdpdGgtanNvbicgYWRkcyBzdXBwb3J0IGZvciBK U09OIHVzaW5nCi0tIAoyLjE3LjEKCg== --------------86501262762891ECB7FA5460--