summaryrefslogtreecommitdiff
path: root/git-annex.cabal
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2014-02-24 18:21:51 -0400
committerGravatar Joey Hess <joey@kitenet.net>2014-02-24 18:21:51 -0400
commit1587a10c8a2ce9a573fcf1c286649404f365506b (patch)
tree38a7e2e109fc3190159dee5f96113a25acbcd7b5 /git-annex.cabal
parent2d10b1755fb8b12f0e793b56f64af57a368fb3a7 (diff)
webdav: When built with DAV 0.6.0, use the new DAV monad to avoid locking files, which is not needed by git-annex's use of webdav, and does not work on Box.com.
Diffstat (limited to 'git-annex.cabal')
-rw-r--r--git-annex.cabal2
1 files changed, 1 insertions, 1 deletions
diff --git a/git-annex.cabal b/git-annex.cabal
index 8e3f3f388..a2e082cdc 100644
--- a/git-annex.cabal
+++ b/git-annex.cabal
@@ -133,7 +133,7 @@ Executable git-annex
if flag(WebDAV)
Build-Depends: DAV ((>= 0.3 && < 0.6) || > 0.6),
- http-conduit, xml-conduit, http-types
+ http-conduit, xml-conduit, http-types, lifted-base
CPP-Options: -DWITH_WEBDAV
if flag(Assistant) && ! os(solaris)