diff options
author | dos-reis <gdr@axiomatics.org> | 2010-08-13 23:32:01 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-08-13 23:32:01 +0000 |
commit | 21dae51d675169c95cbea20bde6b3fa010899931 (patch) | |
tree | f2eee3b175a794f737a2d5b0fbe732efe7763c10 /config/open-axiom.m4 | |
parent | 13112984fd32d4684959a923497a9a476981283e (diff) | |
download | open-axiom-21dae51d675169c95cbea20bde6b3fa010899931.tar.gz |
* config/open-axiom.m4 (OPENAXIOM_STANDARD_INTEGER_TYPES): New macro.
* configure.ac.pamphlet: Use it.
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 +]) |