From 7c67a90327e09065227fef31193c87734829782e Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 19 Apr 2010 15:12:52 +0000
Subject: always use Haskeline. drop Readline & Editline

---
 GF.cabal | 33 ++-------------------------------
 1 file changed, 2 insertions(+), 31 deletions(-)

(limited to 'GF.cabal')

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
-- 
cgit v1.2.3