mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
allow Ctrl+Break in the shell. Works on Windows too.
This commit is contained in:
9
GF.cabal
9
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
|
||||
|
||||
Reference in New Issue
Block a user