diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-23 13:29:33 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-23 13:29:33 +0000 |
| commit | 3bb4f2c9c3dd38aafdb9bc509b66d9bff8aa97f7 (patch) | |
| tree | d6b9adf3782e04d51bce48799f76ef89fea0c069 | |
| parent | b8814af2f9eb8291461e5f1da09d7d7344346339 (diff) | |
readline configuration for Cabal
| -rw-r--r-- | GF.cabal | 15 |
1 files changed, 13 insertions, 2 deletions
@@ -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 |
