X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/89f2a9326028a243896fa4d4fbe1475bea9960c3..5c7bacf3d28e178a42b4d0034d2276c1c01f5711:/configure.ac

diff --git a/configure.ac b/configure.ac
index df8d6696cf..f1ddd70e1e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -26,6 +26,7 @@ AC_PROG_CC(xlC gcc cc)
 AM_SANITY_CHECK
 AC_PROG_MAKE_SET
 AC_CHECK_PRINTF_NULL
+AC_CHECK_VA_COPY
 
 # Checks for header files.
 AC_HEADER_STDC
@@ -34,7 +35,8 @@ AC_CHECK_HEADERS([sys/socket.h \
                   sys/stat.h \
 		  windows.h winsock.h winsock2.h \
 		  sys/time.h \
-		  errno.h unistd.h ])
+		  errno.h unistd.h \
+		  execinfo.h])
 AC_CHECK_FUNCS([gettimeofday usleep \
                 getdtablesize \
                 sysconf])