X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=acinclude.m4;h=53b45e5a9e8c0ac36712bc13206561eb6a40151e;hp=5471a53c455ac37d0d7377a40470553aef1bc63d;hb=9f3e78a13c72ca73ade4d0829186edcdc1c1b2a0;hpb=9413cd14faaf2980de3884915e22a5beda068ecc diff --git a/acinclude.m4 b/acinclude.m4 index 5471a53c..53b45e5a 100644 --- a/acinclude.m4 +++ b/acinclude.m4 @@ -30,8 +30,10 @@ AC_CACHE_CHECK([for standard C++ header files], [ginac_cv_std_cxx_headers], [ AC_LANG_PUSH([C++]) AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[ #include - #include #include + #include + #include + #include #include #include #include @@ -81,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 + #include #include #if !defined(RL_VERSION_MAJOR) || !defined(RL_VERSION_MINOR) #error "Ancient/unsupported version of readline"