From 2b262844906896b86d3455ad9be5dcef9cbd9ca5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Sat, 11 Jul 1998 17:56:18 +0200
Subject: [PATCH] Now checks for gmp2.

Rev: src/modules/Gmp/configure.in:1.3
---
 src/modules/Gmp/configure.in | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/src/modules/Gmp/configure.in b/src/modules/Gmp/configure.in
index 74a56f3870..11e1abb2db 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
 
-- 
GitLab