aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/open-axiom.m49
-rw-r--r--config/openaxiom-c-macros.h.in6
2 files changed, 15 insertions, 0 deletions
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