From 53bfa43a5820e0ac6cceb01b57776ae01b3b92f1 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@chalmers.se>
Date: Fri, 23 May 2008 15:16:28 +0000
Subject: allow Ctrl+Break in the shell. Works on Windows too.

---
 GF.cabal | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'GF.cabal')

diff --git a/GF.cabal b/GF.cabal
index e94646b08..99b331748 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -11,6 +11,9 @@ flag readline
   Description: Enable Readline in the shell
   Default:     True
 
+flag interrupt
+  Description: Enable Ctrl+Break in the shell
+  Default:     True
 
 library
   build-depends: base,
@@ -174,3 +177,9 @@ executable gf3
     other-modules: GF.System.UseReadline
   else
     other-modules: GF.System.NoReadline
+  
+  if flag(interrupt)
+    ghc-options: -DUSE_INTERRUPT
+    other-modules: GF.System.UseSignal
+  else
+    other-modules: GF.System.NoSignal
-- 
cgit v1.2.3