diff options
Diffstat (limited to 'git-annex.cabal')
| -rw-r--r-- | git-annex.cabal | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 130fa07c6..68aba982d 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -56,7 +56,11 @@ Flag Production Description: Enable production build (slower build; faster binary) Flag Android - Description: Building for Android + Description: Cross building for Android + Default: False + +Flag AndroidSplice + Description: Building to get TH splices for Android Default: False Flag TestSuite @@ -155,7 +159,9 @@ Executable git-annex if flag(Android) Build-Depends: data-endian - CPP-Options: -D__ANDROID__ + CPP-Options: -D__ANDROID__ -DANDROID_SPLICES + if flag(AndroidSplices) + CPP-Options: -DANDROID_SPLICES if flag(Webapp) && (! os(windows)) Build-Depends: |