aboutsummaryrefslogtreecommitdiff
path: root/config/open-axiom.m4
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-03-21 22:58:01 +0000
committerdos-reis <gdr@axiomatics.org>2011-03-21 22:58:01 +0000
commit7dc19cbfb3fef1f70794d2baaebd183d21b7d6b0 (patch)
tree4951f977a0579e88906ff2b19ee98ccdd557c428 /config/open-axiom.m4
parentdfadd6b270f0238ef2f5e54fac780b6a6951ee4b (diff)
downloadopen-axiom-7dc19cbfb3fef1f70794d2baaebd183d21b7d6b0.tar.gz
Fix some type detection issues
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