summaryrefslogtreecommitdiff
path: root/git-annex.cabal
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-02-27 20:07:30 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-02-27 20:11:25 -0400
commit3fdcec92d848e8b2709aaab6d4964254e11ef237 (patch)
treef59cf44b9325925a1d02ed86cbf9907122355b29 /git-annex.cabal
parentd4a27c2c8aa9798e19108130b649533e2c9ca9c0 (diff)
faster fast builds
Diffstat (limited to 'git-annex.cabal')
-rw-r--r--git-annex.cabal6
1 files changed, 6 insertions, 0 deletions
diff --git a/git-annex.cabal b/git-annex.cabal
index 7d370d34f..096373113 100644
--- a/git-annex.cabal
+++ b/git-annex.cabal
@@ -55,6 +55,9 @@ Flag DNS
Flag Production
Description: Enable production build (slower build; faster binary)
+Flag Fast
+ Description: Faster build; slower binary
+
Flag Android
Description: Building for Android
Default: False
@@ -81,6 +84,9 @@ Executable git-annex
if flag(Production)
GHC-Options: -O2
+ if flag(Fast)
+ GHC-Options: -O0
+
if flag(TestSuite)
Build-Depends: testpack, HUnit
CPP-Options: -DWITH_TESTSUITE