diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 7a39da8bf0..a2b09ac3d8 100644 --- a/configure.in +++ b/configure.in @@ -1049,6 +1049,16 @@ AC_CHECK_HEADERS( \ setjmpex.h ) +AC_ARG_WITH([gmp], + [AS_HELP_STRING([--without-gmp], + [disable GNU GMP to accelerate Bignum operations])], + [], + [with_gmp=yes]) +AS_IF([test "x$with_gmp" != xno], + [AC_CHECK_HEADERS(gmp.h) + AS_IF([test "x$ac_cv_header_gmp_h" != xno], + AC_CHECK_LIB([gmp], [__gmpz_init]))]) + dnl check for large file stuff mv confdefs.h confdefs1.h : > confdefs.h |