diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-01 00:09:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-01 00:09:08 +0000 |
| commit | 8816646796401df89afdd12daf749ca99400c949 (patch) | |
| tree | 090f96638085ecfa558684faf1c661e954955838 /config | |
| parent | 6d9346504475521b727963744a35ca76c4a2622c (diff) | |
| download | open-axiom-8816646796401df89afdd12daf749ca99400c949.tar.gz | |
* config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New.
(OPENAXIOM_CHECK_CORE_SUPPORT): Use it.
Diffstat (limited to 'config')
| -rw-r--r-- | config/open-axiom.m4 | 9 | ||||
| -rw-r--r-- | config/openaxiom-c-macros.h.in | 6 |
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 |