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.

diff --git a/configure.ac b/configure.ac
index 7b9448e13b0e619f42d0aba103fc70b9623ea687..e5d094cf9ed431f7ba2233714ac3b750b6f8b86d 100644 (file)
--- 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 89205f9df39c18247d9a83955193eef47fe58a3d..bd633b77c359f2ace0c305646009bca7357f1063 100644 (file)
--- 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 f1d09a2b63908be3eeee23284b16f11e784b15c2..3ae956c7880b9e89492266a1499daa3bca643cdc 100644 (file)
--- 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