From 8816646796401df89afdd12daf749ca99400c949 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 1 Jul 2011 00:09:08 +0000
Subject: 	* config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New. 
 (OPENAXIOM_CHECK_CORE_SUPPORT): Use it.

---
 config/open-axiom.m4           | 9 +++++++++
 config/openaxiom-c-macros.h.in | 6 ++++++
 2 files changed, 15 insertions(+)

(limited to 'config')

diff --git a/config/open-axiom.m4 b/config/open-axiom.m4
index f4ae8d05..feb30740 100644
--- a/config/open-axiom.m4
+++ b/config/open-axiom.m4
@@ -796,6 +796,7 @@ OPENAXIOM_CHECK_FILESYSTEM
 OPENAXIOM_CHECK_SIGNALS
 OPENAXIOM_CHECK_SOCKETS
 OPENAXIOM_CHECK_PROCESS
+OPENAXIOM_CHECK_GMP
 ])
 
 dnl ------------------------
@@ -1009,6 +1010,14 @@ AC_DEFINE_UNQUOTED([openaxiom_alignment],[$oa_alignment],
 AC_MSG_RESULT([$oa_alignment])
 ])
 
+dnl -------------------------
+dnl -- OPENAXIOM_CHECK_GMP --
+dnl -------------------------
+AC_DEFUN([OPENAXIOM_CHECK_GMP],[
+AC_CHECK_HEADERS([gmp.h], [AC_CHECK_LIB([gmp],[__gmpz_init])])
+AM_CONDITIONAL([OA_HAS_GMP], [test -n $ac_cv_header_gmp_h])
+])
+
 dnl --------------------------
 dnl -- OPENAXIOM_CHECK_MISC --
 dnl --------------------------
diff --git a/config/openaxiom-c-macros.h.in b/config/openaxiom-c-macros.h.in
index 1eb6df78..d2e0d23e 100644
--- a/config/openaxiom-c-macros.h.in
+++ b/config/openaxiom-c-macros.h.in
@@ -54,6 +54,9 @@
 /* Define to 1 if you have the <fcntl.h> header file. */
 #undef HAVE_FCNTL_H
 
+/* Define to 1 if you have the <gmp.h> header file. */
+#undef HAVE_GMP_H
+
 /* Define to 1 if the system has the type `int16_t'. */
 #undef HAVE_INT16_T
 
@@ -75,6 +78,9 @@
 /* Define to 1 if you have the <inttypes.h> header file. */
 #undef HAVE_INTTYPES_H
 
+/* Define to 1 if you have the `gmp' library (-lgmp). */
+#undef HAVE_LIBGMP
+
 /* Define to 1 if you have the <libutil.h> header file. */
 #undef HAVE_LIBUTIL_H
 
-- 
cgit v1.2.3