From: Pádraig Brady
Date: Tue, 19 Jul 2011 20:51:49 +0000 (+0100)
Subject: timer-time: A new module to check for timer_settime()
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eb9e60e319faa80e5d0b8a196970191aec1cdcd7;p=pspp
timer-time: A new module to check for timer_settime()
* m4/timer_time.m4: Check for the POSIX function.
* modules/timer-time: Add the new module.
* MODULES.html.sh (Compat checks for POSIX:2008 functions):
Mention it.
* doc/posix-functions/timer_create.texi: Add timer-time as
the module, and update the platforms where unavailable.
* doc/posix-functions/timer_delete.texi: Likewise.
* doc/posix-functions/timer_gettime.texi: Likewise.
* doc/posix-functions/timer_settime.texi: Likewise.
Signed-off-by: Pádraig Brady
---
diff --git a/ChangeLog b/ChangeLog
index 67008bef59..9fa4f502c6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2011-07-19 Pádraig Brady
+
+ timer-time: A new module to check for timer_settime()
+ * m4/timer_time.m4: Check for the posix function.
+ * modules/timer-time: Add the new module.
+ * MODULES.html.sh (Compat checks for POSIX:2008 functions):
+ Mention it.
+
2011-07-19 Paul Eggert
Bruno Haible
diff --git a/MODULES.html.sh b/MODULES.html.sh
index 99de344907..bcd8aac18f 100755
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -2522,6 +2522,7 @@ func_all_modules ()
func_module link-follow
func_module rename-dest-slash
func_module rmdir-errno
+ func_module timer-time
func_module unlink-busy
func_module winsz-ioctl
func_module winsz-termios
diff --git a/doc/posix-functions/timer_create.texi b/doc/posix-functions/timer_create.texi
index d432e0eb28..51f93d9a96 100644
--- a/doc/posix-functions/timer_create.texi
+++ b/doc/posix-functions/timer_create.texi
@@ -4,7 +4,7 @@
POSIX specification:@* @url{http://www.opengroup.org/onlinepubs/9699919799/functions/timer_create.html}
-Gnulib module: ---
+Gnulib module: timer-time
Portability problems fixed by Gnulib:
@itemize
@@ -14,5 +14,5 @@ Portability problems not fixed by Gnulib:
@itemize
@item
This function is missing on some platforms:
-MacOS X 10.5, FreeBSD 6.0, IRIX 5.3, Solaris 2.4, mingw, Interix 3.5, BeOS.
+MacOS X 10.5, FreeBSD 6.4, IRIX 5.3, Solaris 2.4, mingw, Interix 3.5, BeOS, Tandem/NSK.
@end itemize
diff --git a/doc/posix-functions/timer_delete.texi b/doc/posix-functions/timer_delete.texi
index a6d8de4470..0d4eb44015 100644
--- a/doc/posix-functions/timer_delete.texi
+++ b/doc/posix-functions/timer_delete.texi
@@ -4,7 +4,7 @@
POSIX specification:@* @url{http://www.opengroup.org/onlinepubs/9699919799/functions/timer_delete.html}
-Gnulib module: ---
+Gnulib module: timer-time
Portability problems fixed by Gnulib:
@itemize
@@ -14,5 +14,5 @@ Portability problems not fixed by Gnulib:
@itemize
@item
This function is missing on some platforms:
-MacOS X 10.5, FreeBSD 6.0, IRIX 5.3, Solaris 2.4, mingw, Interix 3.5, BeOS.
+MacOS X 10.5, FreeBSD 6.4, IRIX 5.3, Solaris 2.4, mingw, Interix 3.5, BeOS, Tandem/NSK.
@end itemize
diff --git a/doc/posix-functions/timer_gettime.texi b/doc/posix-functions/timer_gettime.texi
index 9eb723cbd2..fee8209880 100644
--- a/doc/posix-functions/timer_gettime.texi
+++ b/doc/posix-functions/timer_gettime.texi
@@ -4,7 +4,7 @@
POSIX specification:@* @url{http://www.opengroup.org/onlinepubs/9699919799/functions/timer_gettime.html}
-Gnulib module: ---
+Gnulib module: timer-time
Portability problems fixed by Gnulib:
@itemize
@@ -14,5 +14,5 @@ Portability problems not fixed by Gnulib:
@itemize
@item
This function is missing on some platforms:
-MacOS X 10.5, FreeBSD 6.0, IRIX 5.3, mingw, Interix 3.5, BeOS.
+MacOS X 10.5, FreeBSD 6.4, IRIX 5.3, mingw, Interix 3.5, BeOS, Tandem/NSK.
@end itemize
diff --git a/doc/posix-functions/timer_settime.texi b/doc/posix-functions/timer_settime.texi
index af861eaf66..44673e3a48 100644
--- a/doc/posix-functions/timer_settime.texi
+++ b/doc/posix-functions/timer_settime.texi
@@ -4,7 +4,7 @@
POSIX specification:@* @url{http://www.opengroup.org/onlinepubs/9699919799/functions/timer_settime.html}
-Gnulib module: ---
+Gnulib module: timer-time
Portability problems fixed by Gnulib:
@itemize
@@ -14,5 +14,5 @@ Portability problems not fixed by Gnulib:
@itemize
@item
This function is missing on some platforms:
-MacOS X 10.5, FreeBSD 6.0, IRIX 5.3, Solaris 2.4, mingw, Interix 3.5, BeOS.
+MacOS X 10.5, FreeBSD 6.4, IRIX 5.3, Solaris 2.4, mingw, Interix 3.5, BeOS, Tandem/NSK.
@end itemize
diff --git a/m4/timer_time.m4 b/m4/timer_time.m4
new file mode 100644
index 0000000000..00bc2fec75
--- /dev/null
+++ b/m4/timer_time.m4
@@ -0,0 +1,23 @@
+# timer_time.m4 serial 1
+dnl Copyright (C) 2011 Free Software Foundation, Inc.
+dnl This file is free software; the Free Software Foundation
+dnl gives unlimited permission to copy and/or distribute it,
+dnl with or without modifications, as long as this notice is preserved.
+
+# Check for timer_settime, and set LIB_TIMER_TIME.
+
+AC_DEFUN([gl_TIMER_TIME],
+[
+ dnl Based on clock_time.m4. See details there.
+
+ AC_REQUIRE([gl_USE_SYSTEM_EXTENSIONS])
+
+ LIB_TIMER_TIME=
+ AC_SUBST([LIB_TIMER_TIME])
+ gl_saved_libs=$LIBS
+ AC_SEARCH_LIBS([timer_settime], [rt posix4],
+ [test "$ac_cv_search_timer_settime" = "none required" ||
+ LIB_TIMER_TIME=$ac_cv_search_timer_settime])
+ AC_CHECK_FUNCS([timer_settime])
+ LIBS=$gl_saved_libs
+])
diff --git a/modules/timer-time b/modules/timer-time
new file mode 100644
index 0000000000..07b439bbf8
--- /dev/null
+++ b/modules/timer-time
@@ -0,0 +1,26 @@
+Description:
+Check for timer_settime. Within HAVE_TIMER_SETTIME one can
+assume timer_create, timer_delete and timer_gettime are available too.
+
+Files:
+m4/timer_time.m4
+
+Depends-on:
+extensions
+
+configure.ac:
+gl_TIMER_TIME
+
+Makefile.am:
+
+Include:
+
+
+Link:
+$(LIB_TIMER_TIME)
+
+License:
+LGPLv2+
+
+Maintainer:
+Pádraig Brady, Paul Eggert, Jim Meyering