Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.in b/configure.in
index 94e05b8c39b..43a5a9d9b15 100644
--- a/configure.in
+++ b/configure.in
@@ -251,6 +251,8 @@ AC_CHECK_HEADERS(elf.h)
# for mono/dis
AC_CHECK_HEADERS(wchar.h)
+AC_CHECK_FUNCS(isinf)
+AC_CHECK_HEADERS(ieeefp.h)
# not 64 bit clean in cross-compile
AC_CHECK_SIZEOF(void *, 4)