diff options
| author | krasimir <krasimir@chalmers.se> | 2010-04-19 15:12:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-04-19 15:12:52 +0000 |
| commit | 7c67a90327e09065227fef31193c87734829782e (patch) | |
| tree | b7d94d3decf6d4286c068d76c9a8ef6f5db3c871 /GF.cabal | |
| parent | 6313244eacf992fb10a5091bee28582e84540809 (diff) | |
always use Haskeline. drop Readline & Editline
Diffstat (limited to 'GF.cabal')
| -rw-r--r-- | GF.cabal | 33 |
1 files changed, 2 insertions, 31 deletions
@@ -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 |
