Add check for mpz_powm in libgmp3.

diff --git a/configure.in b/configure.in
index ea2c03707ddc1029cdc7a36dae26c8ebe43e4f64..c98f48bfae5d0894f53e5b1f916c235eaf5cd944 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -50,6 +50,9 @@ libgmp=none
 AC_CHECK_LIB(gmp2, mpz_powm, [
   libgmp=gmp2
 ])
+AC_CHECK_LIB(gmp3, mpz_powm, [
+  libgmp=gmp3
+])
 AC_CHECK_LIB(gmp, mpz_powm, [
   libgmp=gmp
 ])