summaryrefslogtreecommitdiff
path: root/git-annex.cabal
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2014-08-07 15:45:56 -0400
committerGravatar Joey Hess <joey@kitenet.net>2014-08-07 17:32:57 -0400
commit2b944bf37c3d2871d8544ff722d4e91a95e20771 (patch)
tree059ad94526655fb6853c7d5009e84a78d9fd7a23 /git-annex.cabal
parent79e7ac8abc030637209486e09dc0ede60c74bb02 (diff)
use DAV monad
This speeds up the webdav special remote somewhat, since it often now groups actions together in a single http connection when eg, storing a file. Legacy chunks are still supported, but have not been sped up. This depends on a as-yet unreleased version of DAV. This commit was sponsored by Thomas Hochstein.
Diffstat (limited to 'git-annex.cabal')
-rw-r--r--git-annex.cabal4
1 files changed, 2 insertions, 2 deletions
diff --git a/git-annex.cabal b/git-annex.cabal
index 2a39489d4..c3a1c161d 100644
--- a/git-annex.cabal
+++ b/git-annex.cabal
@@ -142,8 +142,8 @@ Executable git-annex
CPP-Options: -DWITH_S3
if flag(WebDAV)
- Build-Depends: DAV (> 0.6),
- http-client, http-conduit, http-types, lifted-base
+ Build-Depends: DAV (> 0.8),
+ http-client, http-conduit, http-types, lifted-base, transformers
CPP-Options: -DWITH_WEBDAV
if flag(Assistant) && ! os(solaris)