From ac4ce06a21ddb9034855b3839176c83f0b9783f0 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Fri, 11 Nov 2005 10:12:49 +0000
Subject: Allow disabling signal support in configure.

---
 src/configure.ac | 35 ++++++++++++++++++++++++++++++++++-
 1 file changed, 34 insertions(+), 1 deletion(-)

(limited to 'src/configure.ac')

diff --git a/src/configure.ac b/src/configure.ac
index 36fb8de8b..64e1015bc 100644
--- a/src/configure.ac
+++ b/src/configure.ac
@@ -4,7 +4,7 @@ AC_INIT([GF],[2.3],[aarne@cs.chalmers.se],[GF])
 
 AC_PREREQ(2.53)
 
-AC_REVISION($Revision: 1.25 $)
+AC_REVISION($Revision: 1.26 $)
 
 AC_CONFIG_FILES([config.mk jgf gfeditor])
 
@@ -82,6 +82,39 @@ esac
 
 AC_SUBST(READLINE)
 
+dnl ***********************************************
+dnl command interruption
+dnl ***********************************************
+
+AC_ARG_WITH(interrupt,
+  AC_HELP_STRING([--with-interrupt=<allow command interruption>],
+               [Choose whether to enable interruption of commands
+	        with SIGINT (Ctrl-C)
+	        Available alternatives are: 'yes', 'no'
+		(default = yes)]),
+  [INTERRUPT="$withval"],
+  [if test "$host_os" = "cygwin"; then
+     AC_MSG_WARN([Command interruption does not work under
+                  Cygwin, because of missing signal handler support.
+                  Disabling command interruption support. 
+                  Use --with-interrupt to override.])
+     INTERRUPT="no"
+   else
+     INTERRUPT="yes"
+   fi])
+
+case $INTERRUPT in
+    yes)
+        ;;
+    no)
+        ;;
+    *)
+        AC_MSG_ERROR([Bad value for --with-interrupt: $INTERRUPT])
+        ;;
+esac
+
+AC_SUBST(INTERRUPT)
+
 dnl ***********************************************
 dnl java stuff
 dnl ***********************************************
-- 
cgit v1.2.3