mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 14:20:59 +03:00
47 lines
2.7 KiB
Diff
47 lines
2.7 KiB
Diff
diff --git a/configure.ac b/configure.ac
|
|
index d1462db837..55053cefe1 100644
|
|
--- a/configure.ac
|
|
+++ b/configure.ac
|
|
@@ -918,7 +918,7 @@ dnl off_t, because it will affect the result of that test.
|
|
AC_SYS_LARGEFILE
|
|
|
|
dnl ** check for specific header (.h) files that we are interested in
|
|
-AC_CHECK_HEADERS([ctype.h dirent.h dlfcn.h errno.h fcntl.h grp.h limits.h locale.h nlist.h pthread.h pwd.h signal.h sys/param.h sys/mman.h sys/resource.h sys/select.h sys/time.h sys/timeb.h sys/timerfd.h sys/timers.h sys/times.h sys/utsname.h sys/wait.h termios.h time.h utime.h windows.h winsock.h sched.h])
|
|
+AC_CHECK_HEADERS([ctype.h dirent.h dlfcn.h errno.h fcntl.h grp.h limits.h locale.h nlist.h pthread.h pwd.h signal.h sys/param.h sys/mman.h sys/resource.h sys/select.h sys/time.h sys/timeb.h sys/timers.h sys/times.h sys/utsname.h sys/wait.h termios.h time.h utime.h windows.h winsock.h sched.h])
|
|
|
|
dnl sys/cpuset.h needs sys/param.h to be included first on FreeBSD 9.1; #7708
|
|
AC_CHECK_HEADERS([sys/cpuset.h], [], [],
|
|
@@ -1174,10 +1174,6 @@ AC_TRY_LINK(
|
|
AC_MSG_RESULT(no)
|
|
)
|
|
|
|
-dnl ** check for eventfd which is needed by the I/O manager
|
|
-AC_CHECK_HEADERS([sys/eventfd.h])
|
|
-AC_CHECK_FUNCS([eventfd])
|
|
-
|
|
dnl ** Check for __thread support in the compiler
|
|
AC_MSG_CHECKING(for __thread support)
|
|
AC_COMPILE_IFELSE(
|
|
diff --git a/libraries/base/configure.ac b/libraries/base/configure.ac
|
|
index d34224acc7..a67bdef684 100644
|
|
--- a/libraries/base/configure.ac
|
|
+++ b/libraries/base/configure.ac
|
|
@@ -30,7 +30,7 @@ dnl ** check for full ANSI header (.h) files
|
|
AC_HEADER_STDC
|
|
|
|
# check for specific header (.h) files that we are interested in
|
|
-AC_CHECK_HEADERS([ctype.h errno.h fcntl.h inttypes.h limits.h signal.h sys/file.h sys/resource.h sys/select.h sys/stat.h sys/syscall.h sys/time.h sys/timeb.h sys/timers.h sys/times.h sys/types.h sys/utsname.h sys/wait.h termios.h time.h unistd.h utime.h windows.h winsock.h langinfo.h poll.h sys/epoll.h sys/event.h sys/eventfd.h sys/socket.h])
|
|
+AC_CHECK_HEADERS([ctype.h errno.h fcntl.h inttypes.h limits.h signal.h sys/file.h sys/resource.h sys/select.h sys/stat.h sys/syscall.h sys/time.h sys/timeb.h sys/timers.h sys/times.h sys/types.h sys/utsname.h sys/wait.h termios.h time.h unistd.h utime.h windows.h winsock.h langinfo.h poll.h sys/epoll.h sys/event.h sys/socket.h])
|
|
|
|
# Enable large file support. Do this before testing the types ino_t, off_t, and
|
|
# rlim_t, because it will affect the result of that test.
|
|
@@ -47,7 +47,7 @@ AC_CHECK_FUNCS([clock_gettime])
|
|
AC_CHECK_FUNCS([getclock getrusage times])
|
|
AC_CHECK_FUNCS([_chsize ftruncate])
|
|
|
|
-AC_CHECK_FUNCS([epoll_ctl eventfd kevent kevent64 kqueue poll])
|
|
+AC_CHECK_FUNCS([epoll_ctl kevent kevent64 kqueue poll])
|
|
|
|
# event-related fun
|
|
|