diff options
| author | pixel <pixel> | 2003-03-24 09:11:22 +0000 |
|---|---|---|
| committer | pixel <pixel> | 2003-03-24 09:11:22 +0000 |
| commit | 11231ea77019fb6a7e4d993eebb9efd95e12ad4a (patch) | |
| tree | 0e19019f748932493f7cd20b5db84fa44952d3b8 | |
| parent | 8212ce04cafa89e0a3f3b46e7fb2940548e08214 (diff) | |
Fixed gmp in configure.ac
| -rw-r--r-- | configure.ac | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 7b220ac..9eccff9 100644 --- a/configure.ac +++ b/configure.ac @@ -100,7 +100,7 @@ if test "$with_gmp" != "no"; then fi]) found_gmp=no - AC_CHECK_HEADER(gmp.h, + AC_CHECK_HEADER(gmpxx.h, [AC_CHECK_LIB(gmp, mpz_init, [GMP_LIBS="-lgmp -lm"; found_gmp=yes], [AC_CHECK_LIB(gmp, __gmpz_init, @@ -110,8 +110,8 @@ if test "$with_gmp" != "no"; then AC_DEFINE([HAVE_GMP], 1, [Have the GMP library]) LIBS="$LIBS $GMP_LIBS" AC_CHECK_FUNC(__gmp_randinit, AC_DEFINE([HAVE_GMP_RANDINIT], 1, [Have the RandInit function])) - elif test "$with_gmp" != "no"; then - AC_MSG_ERROR([Can't find GMP (--without-gmp for cut-down non-GMP build)]) +# elif test "$with_gmp" != "no"; then +# AC_MSG_ERROR([Can't find GMP (--without-gmp for cut-down non-GMP build)]) fi fi AC_SUBST(GMP_LIBS) |