summaryrefslogtreecommitdiff
path: root/git-annex.cabal
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-11-14 20:25:00 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-11-14 20:25:31 -0400
commitca0c3f90bffd314b04ce4f85c800acbba385bcf6 (patch)
treefa648018608d2bb0afa24d4539978f2d16c756d1 /git-annex.cabal
parent50548a7496bd72dcdd5b582f88c9bcad3522f3f9 (diff)
skeltal webdav special remote
Doesn't actually store anything yet, but initremote works and tests the server.
Diffstat (limited to 'git-annex.cabal')
-rw-r--r--git-annex.cabal7
1 files changed, 7 insertions, 0 deletions
diff --git a/git-annex.cabal b/git-annex.cabal
index e993343ca..afbb47513 100644
--- a/git-annex.cabal
+++ b/git-annex.cabal
@@ -28,6 +28,9 @@ Description:
Flag S3
Description: Enable S3 support
+Flag WebDAV
+ Description: Enable WebDAV support
+
Flag Inotify
Description: Enable inotify support
@@ -69,6 +72,10 @@ Executable git-annex
Build-Depends: hS3
CPP-Options: -DWITH_S3
+ if flag(WebDAV)
+ Build-Depends: DAV
+ CPP-Options: -DWITH_WebDAV
+
if flag(Assistant) && ! os(windows) && ! os(solaris)
Build-Depends: stm >= 2.3
CPP-Options: -DWITH_ASSISTANT