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: Sun, 12 Aug 2018 16:53:07 -0700 Organization: UCLA Computer Science Department Message-ID: 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: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1534117913 12482 195.159.176.226 (12 Aug 2018 23:51:53 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 12 Aug 2018 23:51:53 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 Cc: ulm@gentoo.org, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Aug 13 01:51:49 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 1fp09F-00037w-7W for ged-emacs-devel@m.gmane.org; Mon, 13 Aug 2018 01:51:49 +0200 Original-Received: from localhost ([::1]:36772 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fp0BL-0002Hd-Sh for ged-emacs-devel@m.gmane.org; Sun, 12 Aug 2018 19:53:59 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33261) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fp0Af-0002FM-MK for emacs-devel@gnu.org; Sun, 12 Aug 2018 19:53:18 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fp0Af-0001lV-38 for emacs-devel@gnu.org; Sun, 12 Aug 2018 19:53:17 -0400 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:54572) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fp0Aa-0001jF-GW; Sun, 12 Aug 2018 19:53:12 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id F05521605BB; Sun, 12 Aug 2018 16:53:10 -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 tV5nxQjc5QLY; Sun, 12 Aug 2018 16:53:09 -0700 (PDT) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 187BE160651; Sun, 12 Aug 2018 16:53:09 -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 veESoQPcltSj; Sun, 12 Aug 2018 16:53:09 -0700 (PDT) Original-Received: from [192.168.1.9] (unknown [47.154.30.119]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 656D61605BB; Sun, 12 Aug 2018 16:53:08 -0700 (PDT) In-Reply-To: <837ekvlau2.fsf@gnu.org> 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:228460 Archived-At: Eli Zaretskii wrote: > I think other packages use --enable-mini-gmp, so maybe we should name > the option the same, for consistency. The GNU coding standards say that --enable is supposed to be for adding user-level facilities, which this is not: the user-level behavior does not change. Conversely, the coding standards say that --with is appropriate for choosing to use a library like GMP. So --with-SOMETHING seems more appropriate here than --enable-SOMETHING. That being said, the distinction between --with-FOO and --enable-FOO has long been a confusing area of the GNU coding standards -- as witnessed by the other packages you're thinking about.