allow Ctrl+Break in the shell. Works on Windows too.

1 files changed, 9 insertions, 0 deletions

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