diff options
Diffstat (limited to 'config/open-axiom.m4')
| -rw-r--r-- | config/open-axiom.m4 | 9 |
1 files changed, 9 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 -------------------------- |