w3m

commit 89162a1944b34dcebc32f1f052c76b9a480e590c
parent 7614d9a4ccd8a312003fe2f2da3c97b73602d4ea
Author: ukai <ukai>
Date:   Thu, 22 Nov 2001 13:53:19 +0000

check alarm

Diffstat:
M
ChangeLog
 | 
4
++++
M
configure
 | 
21
+++++++++++++++++++++

2 files changed, 25 insertions(+), 0 deletions(-)
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,7 @@
+2001-11-22  Fumitoshi UKAI  <ukai@debian.or.jp
+
+	* configure (alarm): check alarm if USE_ALARM
+
 2001-11-22  Tsutomu Okada <okada@furuno.co.jp>
 
 	* [w3m-dev 02501]
diff --git a/configure b/configure
@@ -1590,6 +1590,27 @@ else
   fi
 fi
 
+# check alarm()
+if [ "$use_alarm" = y ]; then
+  cat > _zdmachdep.c <<EOF
+#include <unistd.h>
+#include <signal.h>
+main()
+{
+    int sa = SIGALRM;
+    void (*)() = alarm;
+}
+EOF
+  if $cc $cflags -o _zmachdep _zmachdep.c > /dev/null 2>&1
+  then
+    echo "You have alarm()."
+  else
+    echo "You don't have alarm(), disable USE_ALARM"
+    use_alarm=n
+    def_use_alarm="#undef USE_ALARM"
+  fi
+fi
+
 # check for float.h
 cat > _zmachdep.c << EOF
 #include <float.h>