diff --git a/src/modules/Gmp/configure.in b/src/modules/Gmp/configure.in
index 74a56f38701d25124537537469a9460d142111e8..11e1abb2db5b31fde0a97979aef6c41d9baa6e00 100644
--- a/src/modules/Gmp/configure.in
+++ b/src/modules/Gmp/configure.in
@@ -1,4 +1,4 @@
-# $Id: configure.in,v 1.2 1998/03/28 14:52:12 grubba Exp $
+# $Id: configure.in,v 1.3 1998/07/11 15:56:18 grubba Exp $
 AC_INIT(mpz_glue.c)
 AC_CONFIG_HEADER(gmp_machine.h)
 AC_ARG_WITH(gmp,     [  --with(out)-gmp        Support bignums],[],[with_gmp=yes])
@@ -6,9 +6,16 @@ AC_ARG_WITH(gmp,     [  --with(out)-gmp        Support bignums],[],[with_gmp=yes
 sinclude(../module_configure.in)
 
 if test x$with_gmp = xyes ; then
-  AC_CHECK_HEADERS(gmp.h)
-  if test $ac_cv_header_gmp_h = yes ; then
-    AC_CHECK_LIB(gmp, mpz_set_d)
+  AC_CHECK_HEADERS(gmp2/gmp.h)
+  AC_CHECK_LIB(gmp2, mpz_set_d)
+  if test "$ac_cv_header_gmp2_gmp_h$ac_cv_lib_gmp2_mpz_set_d" = "yesyes";
+  then
+    echo Using gmp2.
+  else
+    AC_CHECK_HEADERS(gmp.h)
+    if test $ac_cv_header_gmp_h = yes ; then
+      AC_CHECK_LIB(gmp, mpz_set_d)
+    fi
   fi
 fi