Finalize 1.7.2 release.

[ginac.git] / acinclude.m4

diff --git a/acinclude.m4 b/acinclude.m4
index c66f3dda84be1cf96610da94f3319f812c182bf1..53b45e5a9e8c0ac36712bc13206561eb6a40151e 100644 (file)
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -30,8 +30,11 @@ AC_CACHE_CHECK([for standard C++ header files], [ginac_cv_std_cxx_headers], [
        AC_LANG_PUSH([C++])
        AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
                #include <algorithm>
-               #include <cstring>
                #include <cstddef>
+               #include <cstdio>
+               #include <cstdlib>
+               #include <cstring>
+               #include <cstdint>
                #include <ctime>
                #include <fstream>
                #include <functional>
@@ -80,7 +83,7 @@ else
        AC_CACHE_CHECK([for version of libreadline], [ginac_cv_rl_supported], [
                ginac_cv_rl_supported="no"
                AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
-                       #include <stdio.h>
+                       #include <cstdio>
                        #include <readline/readline.h>
                        #if !defined(RL_VERSION_MAJOR) || !defined(RL_VERSION_MINOR)
                        #error "Ancient/unsupported version of readline"