diff options
| author | jao <jao@gnu.org> | 2018-12-01 02:51:08 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-12-01 02:51:08 +0000 |
| commit | 63dd6723703c0fc57cf863a974993c6b66e019bc (patch) | |
| tree | b7b678fac7e03251d745be07185b7091d74921de /xmobar.cabal | |
| parent | a9df65ad952251d2f0c837add0cfe4626d321bf8 (diff) | |
| download | xmobar-63dd6723703c0fc57cf863a974993c6b66e019bc.tar.gz xmobar-63dd6723703c0fc57cf863a974993c6b66e019bc.tar.bz2 | |
Propagating RTS compilation flags to recompile
Diffstat (limited to 'xmobar.cabal')
| -rw-r--r-- | xmobar.cabal | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xmobar.cabal b/xmobar.cabal index e96c4a2..d7ea53a 100644 --- a/xmobar.cabal +++ b/xmobar.cabal @@ -190,6 +190,9 @@ library ghc-options: -threaded cpp-options: -DTHREADED_RUNTIME + if flag(with_rtsopts) + cpp-options: -DRTSOPTS + if flag(with_xft) || flag(all_extensions) build-depends: utf8-string >= 0.3 && < 1.1, X11-xft >= 0.2 && < 0.4 other-modules: Xmobar.X11.MinXft |