diff options
| author | Paul Eggert | 2018-08-12 17:14:43 -0700 |
|---|---|---|
| committer | Paul Eggert | 2018-08-12 17:14:59 -0700 |
| commit | ca10011898e2ceeded4027413a1488837199ad7a (patch) | |
| tree | 0d7ca4c643be62a136d9924356c2937ecb258660 | |
| parent | a84cef90957f2379cc0df6bd908317fc441971ce (diff) | |
| download | emacs-ca10011898e2ceeded4027413a1488837199ad7a.tar.gz emacs-ca10011898e2ceeded4027413a1488837199ad7a.zip | |
* configure.ac (GMP_LIB): Set to -lgmp if --without-mini-gmp.
| -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 | |||
| 4312 | HAVE_GMP=no | 4312 | HAVE_GMP=no |
| 4313 | case $with_mini_gmp in | 4313 | case $with_mini_gmp in |
| 4314 | yes) ;; | 4314 | yes) ;; |
| 4315 | no) HAVE_GMP=yes;; | 4315 | no) HAVE_GMP=yes GMP_LIB=-lgmp;; |
| 4316 | *) AC_CHECK_HEADERS([gmp.h], | 4316 | *) AC_CHECK_HEADERS([gmp.h], |
| 4317 | [OLIBS=$LIBS | 4317 | [OLIBS=$LIBS |
| 4318 | AC_SEARCH_LIBS([__gmpz_roinit_n], [gmp]) | 4318 | AC_SEARCH_LIBS([__gmpz_roinit_n], [gmp]) |