summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2017-02-23 00:54:19 +0100
committerjao <jao@gnu.org>2017-02-23 00:55:43 +0100
commitdfb5dbd6cc5342348fbb46bd117c226d5e8127e4 (patch)
tree54428c169637696931e90f20a21d38565a4de8b1
parentf11241d951fd3c32b1ed835c85585d7f1022d61d (diff)
downloadxmobar-dfb5dbd6cc5342348fbb46bd117c226d5e8127e4.tar.gz
xmobar-dfb5dbd6cc5342348fbb46bd117c226d5e8127e4.tar.bz2
Compiling with --with-rtsopts=-V0 to reduce wakeups (issue #89)
-rw-r--r--xmobar.cabal7
1 files changed, 7 insertions, 0 deletions
diff --git a/xmobar.cabal b/xmobar.cabal
index 8a17579..153d72b 100644
--- a/xmobar.cabal
+++ b/xmobar.cabal
@@ -74,6 +74,10 @@ flag with_threaded
description: Use threaded runtime.
default: False
+flag with_rtsopts
+ description: Use -with-rtsopts=-V0 to reduce wakeups
+ default: True
+
flag with_uvmeter
description: UVMeter only useful to australians.
default: False
@@ -138,6 +142,9 @@ executable xmobar
ghc-options: -threaded
cpp-options: -DTHREADED_RUNTIME
+ if flag(with_rtsopts)
+ ghc-options: -with-rtsopts=-V0
+
if impl (ghc < 7)
cpp-options: -DGHC6