aboutsummaryrefslogtreecommitdiff
path: root/config/open-axiom.m4
diff options
context:
space:
mode:
Diffstat (limited to 'config/open-axiom.m4')
-rw-r--r--config/open-axiom.m423
1 files changed, 12 insertions, 11 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4
index 98b62858..00a222a2 100644
--- a/config/open-axiom.m4
+++ b/config/open-axiom.m4
@@ -6,16 +6,18 @@ dnl -- OPENAXIOM_STANDARD_INTEGER_TYPES --
dnl --------------------------------------
dnl Check for availability of standard sized integer types.
AC_DEFUN([OPENAXIOM_STANDARD_INTEGER_TYPES], [
-AC_TYPE_INT8_T
-AC_TYPE_UINT8_T
-AC_TYPE_INT16_T
-AC_TYPE_UINT16_T
-AC_TYPE_INT32_T
-AC_TYPE_UINT32_T
-AC_TYPE_INT64_T
-AC_TYPE_UINT64_T
-AC_TYPE_INTPTR_T
-AC_TYPE_UINTPTR_T
+AC_CHECK_TYPES([int8_t],[],[AC_TYPE_INT8_T])
+AC_CHECK_TYPES([uint8_t],[],[AC_TYPE_UINT8_T])
+AC_CHECK_TYPES([int16_t],[],[AC_TYPE_INT16_T])
+AC_CHECK_TYPES([uint16_t],[][AC_TYPE_UINT16_T])
+AC_CHECK_TYPES([int32_t],[],[AC_TYPE_INT32_T])
+AC_CHECK_TYPES([uint32_t],[],[AC_TYPE_UINT32_T])
+AC_CHECK_TYPES([int64_t],[],[AC_TYPE_INT64_T])
+AC_CHECK_TYPES([uint64_t],[],[AC_TYPE_UINT64_T])
+AC_CHECK_TYPES([intptr_t],[],[AC_TYPE_INTPTR_T])
+AC_CHECK_TYPES([uintptr_t],[],[AC_TYPE_UINTPTR_T])
+AC_CHECK_TYPES([intmax_t],[],[AC_TYPE_INTMAX_T])
+AC_CHECK_TYPES([uintmax_t],[],[AC_TYPE_UINTMAX_T])
])
@@ -464,7 +466,6 @@ dnl ------------------------------------
AC_DEFUN([OPENAXIOM_HOST_DATA_PROPERTIES],[
## Byte order of the host.
AC_C_BIGENDIAN
-AC_CHECK_HEADERS([stdint.h inttypes.h])
OPENAXIOM_STANDARD_INTEGER_TYPES
AC_CHECK_SIZEOF([void*])
if test x"$oa_include_gcl" = xyes; then