diff options
-rw-r--r-- | git-annex.cabal | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 0338ac51b..73809d1f6 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -101,11 +101,15 @@ Flag network-uri Description: Get Network.URI from the network-uri package Default: True +Flag new-time + Description: Build with new version of time and without old-locale + Default: True + Executable git-annex Main-Is: git-annex.hs Build-Depends: MissingH, hslogger, directory, filepath, containers (>= 0.5.0.0), utf8-string, mtl (>= 2), - bytestring, old-locale, time, sandi, process, json, + bytestring, sandi, process, json, base (>= 4.5 && < 4.9), monad-control, exceptions (>= 0.6), transformers, IfElse, text, QuickCheck >= 2.1, bloomfilter, edit-distance, SafeSemaphore, uuid, random, dlist, unix-compat, async, stm (>= 2.3), @@ -124,6 +128,11 @@ Executable git-annex else Build-Depends: network (< 2.6), network (>= 2.0) + if flag(new-time) + Build-Depends: time (>= 1.5) + else + Build-Depends: time, old-locale + if flag(Production) GHC-Options: -O2 |