diff options
Diffstat (limited to 'Build/source/texk/web2c/configure.ac')
-rw-r--r-- | Build/source/texk/web2c/configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/configure.ac b/Build/source/texk/web2c/configure.ac index 70db03fec7e..90e813aa169 100644 --- a/Build/source/texk/web2c/configure.ac +++ b/Build/source/texk/web2c/configure.ac @@ -252,6 +252,8 @@ AC_SEARCH_LIBS([pow], [m]) AC_CHECK_FUNCS([access atoi fmax ftime gettimeofday mkdtemp setlocale strerror strlcat strlcpy strndup]) AC_CHECK_DECLS([strndup]) AC_CHECK_HEADERS([errno.h langinfo.h locale.h sys/time.h sys/timeb.h sys/wait.h time.h]) +AC_CHECK_SIZEOF([void *]) +AC_TYPE_UINTPTR_T AC_TYPE_LONG_DOUBLE AC_HEADER_STDBOOL |