summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@chalmers.se>2008-05-23 13:29:33 +0000
committerkr.angelov <kr.angelov@chalmers.se>2008-05-23 13:29:33 +0000
commit3bb4f2c9c3dd38aafdb9bc509b66d9bff8aa97f7 (patch)
treed6b9adf3782e04d51bce48799f76ef89fea0c069
parentb8814af2f9eb8291461e5f1da09d7d7344346339 (diff)
readline configuration for Cabal
-rw-r--r--GF.cabal15
1 files changed, 13 insertions, 2 deletions
diff --git a/GF.cabal b/GF.cabal
index eefa104ee..e73448b60 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -7,6 +7,11 @@ license-file: LICENSE
synopsis: Grammatical Framework
+flag readline
+ Description: Enable Readline in the shell
+ Default: True
+
+
library
build-depends: base,
array,
@@ -159,7 +164,13 @@ executable gf3
GF.Compile.GetGrammar
GF.Compile
GF.Command.Importing
- GFC
- GF.System.NoReadline
GF.System.Readline
+ GFC
GFI
+
+ if flag(readline)
+ build-depends: readline
+ ghc-options: -DUSE_READLINE
+ other-modules: GF.System.UseReadline
+ else
+ other-modules: GF.System.NoReadline