diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2018-08-12 17:14:43 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2018-08-12 17:14:59 -0700 |
commit | ca10011898e2ceeded4027413a1488837199ad7a (patch) | |
tree | 0d7ca4c643be62a136d9924356c2937ecb258660 /configure.ac | |
parent | a84cef90957f2379cc0df6bd908317fc441971ce (diff) | |
download | emacs-ca10011898e2ceeded4027413a1488837199ad7a.tar.gz |
* configure.ac (GMP_LIB): Set to -lgmp if --without-mini-gmp.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index c40b3bd2903..0b8849eea23 100644 --- a/configure.ac +++ b/configure.ac @@ -4312,7 +4312,7 @@ GMP_OBJ=mini-gmp-emacs.o HAVE_GMP=no case $with_mini_gmp in yes) ;; - no) HAVE_GMP=yes;; + no) HAVE_GMP=yes GMP_LIB=-lgmp;; *) AC_CHECK_HEADERS([gmp.h], [OLIBS=$LIBS AC_SEARCH_LIBS([__gmpz_roinit_n], [gmp]) |