From 597a22df04342e04051388564b86c649603727d9 Mon Sep 17 00:00:00 2001
From: Matthias Andreas Benkard <matthias@benkard.de>
Date: Wed, 20 Aug 2008 13:08:39 +0200
Subject: configure: Check for GNU MP.

---
 configure | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/configure b/configure
index 39fe2a6..0fff95c 100755
--- a/configure
+++ b/configure
@@ -47,6 +47,9 @@ if ($? == 0) {
 `echo '\#include <histedit.h>' | $CC $CFLAGS $OBJCFLAGS -c -o /dev/null -x c - 2>/dev/null`;
 $histedit_h = 1 if ($? == 0);
 
+`echo '\#include <gmp.h>' | $CC $CFLAGS $OBJCFLAGS -c -o /dev/null -x c - 2>/dev/null`;
+$gmp_h = 1 if ($? == 0);
+
 `$XCODEBUILD -version`;
 if ($? == 0) {
     $xcode = 1;
@@ -80,6 +83,17 @@ if ($no_ffi) {
     }
 }
 
+unless ($gmp_h) {
+    print " * GNU MP\n";
+    if ($darwin || $debian) {
+        $install = "$install gmp" if $darwin;
+        $install = "$install libgmp3-dev" if $debian;
+        $installp = 1;
+    } else {
+        push @steps, (" * Download and install GNU MP from: http://gmplib.org/\n");
+    }
+}
+
 unless ($histedit_h) {
     print " * libedit\n";
     if ($darwin || $debian) {
-- 
cgit v1.2.3