summaryrefslogtreecommitdiff
path: root/git-annex.cabal
diff options
context:
space:
mode:
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