diff options
Diffstat (limited to 'config/open-axiom.m4')
| -rw-r--r-- | config/open-axiom.m4 | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 6c21408d..ab875502 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -1,3 +1,16 @@ -AC_DEFUN([AXIOM_MAKEFILE], +AC_DEFUN([OPENAXIOM_MAKEFILE], [AC_CONFIG_FILES([$1:config/var-def.mk:$1.in:config/setup-dep.mk])]) +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 +]) |