avoid unncessary dep on old-locale when building with new version of time
This commit is contained in:
parent
64a4553e0b
commit
663eb15aa3
1 changed files with 10 additions and 1 deletions
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in a new issue