From 745fbeb3bc36e318b8a1b02934cf94f941ea949d Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@chalmers.se>
Date: Fri, 23 May 2008 13:29:33 +0000
Subject: [PATCH] readline configuration for Cabal

---
 GF.cabal | 15 +++++++++++++--
 1 file 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