From f9a3925653deef2b73c118784ad39e5c61a005cb Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 30 Apr 2009 09:40:48 +0000 Subject: conditional support for haskeline, readline and editline --- GF.cabal | 32 +++++++++++++++++++++++++------- 1 file changed, 25 insertions(+), 7 deletions(-) (limited to 'GF.cabal') diff --git a/GF.cabal b/GF.cabal index 207c3944f..d57f7c84c 100644 --- a/GF.cabal +++ b/GF.cabal @@ -543,10 +543,18 @@ data-files: lib/resource/thai/VerbTha.gf lib/LICENSE +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 @@ -700,14 +708,24 @@ executable gf PGF.Binary GFC GFI - - if flag(readline) - build-depends: readline - ghc-options: -DUSE_READLINE - other-modules: GF.System.UseReadline + + if flag(haskeline) + build-depends: haskeline + cpp-options: -DUSE_HASKELINE + other-modules: GF.System.UseHaskeline else - other-modules: GF.System.NoReadline - + 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