65
65
[ac_cxx_cstdint_boost_cstdint_hpp="<boost/cstdint.hpp>"])
70
70
AS_IF([test -n "$ac_cxx_cstdint_cstdint"], [ac_cv_cxx_cstdint=$ac_cxx_cstdint_cstdint],
71
71
[test -n "$ac_cxx_cstdint_tr1_cstdint"], [ac_cv_cxx_cstdint=$ac_cxx_cstdint_tr1_cstdint],
72
72
[test -n "$ac_cxx_cstdint_boost_cstdint_hpp"], [ac_cv_cxx_cstdint=$ac_cxx_cstdint_boost_cstdint_hpp])
78
76
ac_cv_cxx_cstdint="<stdint.h>"
79
77
AC_MSG_WARN([Could not find a cstdint header.])
80
78
AC_MSG_RESULT([$ac_cv_cxx_cstdint])