summaryrefslogtreecommitdiff
path: root/GF.cabal
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2010-04-19 15:12:52 +0000
committerkrasimir <krasimir@chalmers.se>2010-04-19 15:12:52 +0000
commit7c67a90327e09065227fef31193c87734829782e (patch)
treeb7d94d3decf6d4286c068d76c9a8ef6f5db3c871 /GF.cabal
parent6313244eacf992fb10a5091bee28582e84540809 (diff)
always use Haskeline. drop Readline & Editline
Diffstat (limited to 'GF.cabal')
-rw-r--r--GF.cabal33
1 files changed, 2 insertions, 31 deletions
diff --git a/GF.cabal b/GF.cabal
index 7a4c990fc..8fc01e382 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -6,18 +6,6 @@ license: GPL
license-file: LICENSE
synopsis: Grammatical Framework
-flag haskeline
- Description: Enable Haskeline in the shell
- Default: True
-
-flag readline
- Description: Enable Readline in the shell
- Default: True
-
-flag editline
- Description: Enable Editline in the shell
- Default: True
-
flag interrupt
Description: Enable Ctrl+Break in the shell
Default: True
@@ -74,7 +62,8 @@ executable gf
old-time,
process,
pretty,
- mtl
+ mtl,
+ haskeline
build-tools: happy, alex
if os(windows)
build-depends: Win32
@@ -142,7 +131,6 @@ executable gf
GF.Compile.PGFtoProlog
GF.Compile.PGFtoJS
GF.Compile
- GF.System.Readline
GF.Quiz
PGF
PGF.CId
@@ -161,23 +149,6 @@ executable gf
GFC
GFI
- if flag(haskeline)
- build-depends: haskeline
- cpp-options: -DUSE_HASKELINE
- other-modules: GF.System.UseHaskeline
- else
- if flag(readline)
- build-depends: readline
- cpp-options: -DUSE_READLINE
- other-modules: GF.System.UseReadline
- else
- if flag(editline)
- build-depends: editline
- cpp-options: -DUSE_EDITLINE
- other-modules: GF.System.UseEditline
- else
- other-modules: GF.System.NoReadline
-
if flag(interrupt)
cpp-options: -DUSE_INTERRUPT
other-modules: GF.System.UseSignal