mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-25 02:38:55 -06:00
always use Haskeline. drop Readline & Editline
This commit is contained in:
33
GF.cabal
33
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
|
||||
|
||||
Reference in New Issue
Block a user