[Emacs-diffs] master 1164d49: Rename --without-mini-gmp to --with-libgmp

[Paul Eggert]

branch: master
commit 1164d49ba6a3ce59a2bd404219851d8e27b54611
Author: Paul Eggert <address@hidden>
Commit: Paul Eggert <address@hidden>

    Rename --without-mini-gmp to --with-libgmp
    
    * configure.ac (HAVE_GMP): Rename ‘configure’ option from
    --without-mini-gmp to --with-libgmp.  All uses changed.
    * doc/lispref/numbers.texi (Predicates on Numbers): Large
    integers are always available.  Clarify how eq works on them.
---
 configure.ac             | 15 +++++++--------
 doc/lispref/numbers.texi |  6 ++----
 etc/NEWS                 |  2 +-
 3 files changed, 10 insertions(+), 13 deletions(-)

diff --git a/configure.ac b/configure.ac
index 7b9448e..e5d094c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -4303,17 +4303,16 @@ AC_SUBST(KRB5LIB)
 AC_SUBST(DESLIB)
 AC_SUBST(KRB4LIB)
 
-AC_ARG_WITH([mini-gmp],
-  [AS_HELP_STRING([--without-mini-gmp],
-                 [don't compile and use mini-gmp, a substitute for the
-                  GNU Multiple Precision (GMP) library; this is the
-                  default on systems with recent-enough GMP.])])
+AC_ARG_WITH([libgmp],
+  [AS_HELP_STRING([--without-libgmp],
+                 [don't use the GNU Multiple Precision (GMP) library;
+                  this is the default on systems lacking libgmp.])])
 GMP_LIB=
 GMP_OBJ=mini-gmp-emacs.o
 HAVE_GMP=no
-case $with_mini_gmp in
-  yes) ;;
-  no) HAVE_GMP=yes GMP_LIB=-lgmp;;
+case $with_libgmp in
+  no) ;;
+  yes) HAVE_GMP=yes GMP_LIB=-lgmp;;
   *) AC_CHECK_HEADERS([gmp.h],
        [OLIBS=$LIBS
        AC_SEARCH_LIBS([__gmpz_roinit_n], [gmp])
diff --git a/doc/lispref/numbers.texi b/doc/lispref/numbers.texi
index 89205f9..bd633b7 100644
--- a/doc/lispref/numbers.texi
+++ b/doc/lispref/numbers.texi
@@ -319,10 +319,8 @@ its argument.  See also @code{integer-or-marker-p} and
 
 @defun bignump object
 This predicate tests whether its argument is a large integer, and
-returns @code{t} if so, @code{nil} otherwise.  Large integers cannot
-be compared with @code{eq}, only with @code{=} or @code{eql}.  Also,
-large integers are only available if Emacs was compiled with the GMP
-library.
+returns @code{t} if so, @code{nil} otherwise.  Unlike small integers,
+large integers can be @code{=} or @code{eql} even if they are not @code{eq}.
 @end defun
 
 @defun fixnump object
diff --git a/etc/NEWS b/etc/NEWS
index f1d09a2..3ae956c 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -27,7 +27,7 @@ When you add a new item, use the appropriate mark if you are 
sure it applies,
 ** Emacs now uses GMP, the GNU Multiple Precision library.
 By default, if 'configure' does not find a suitable libgmp, it
 arranges for the included mini-gmp library to be built and used.
-The new 'configure' option --with-mini-gmp uses mini-gmp even if a
+The new 'configure' option --without-libgmp uses mini-gmp even if a
 suitable libgmp is available.
 
 ** The new configure option '--with-json' adds support for JSON using