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.
This commit is contained in:
Paul Eggert 2018-08-14 16:06:05 -07:00
parent 6d24402d63
commit 1164d49ba6
3 changed files with 10 additions and 13 deletions

View file

@ -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])

View file

@ -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

View file

@ -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