From 4ebb35dc59fcc738abfbfbefd515ed55461a5211 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Wed, 4 Dec 2013 17:11:49 -0400
Subject: [PATCH] explicitly disable WebDAV on Windows

For reasons suspiciously similar to 342d508e -- ie, building with it
enabled crashes the compiler, at least in my development VM.. dunno why.
---
 git-annex.cabal             | 2 +-
 standalone/windows/build.sh | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/git-annex.cabal b/git-annex.cabal
index fa9ea062ce..862847179a 100644
--- a/git-annex.cabal
+++ b/git-annex.cabal
@@ -124,7 +124,7 @@ Executable git-annex
     Build-Depends: hS3
     CPP-Options: -DWITH_S3
 
-  if flag(WebDAV)
+  if flag(WebDAV) && (! os(windows))
     Build-Depends: DAV (>= 0.3), http-conduit, xml-conduit, http-types
     CPP-Options: -DWITH_WEBDAV
 
diff --git a/standalone/windows/build.sh b/standalone/windows/build.sh
index 74148dfe51..3e4f6bde13 100644
--- a/standalone/windows/build.sh
+++ b/standalone/windows/build.sh
@@ -7,7 +7,9 @@ set -x
 set -e
 
 HP="/c/Program Files (x86)/Haskell Platform/2012.4.0.0"
-FLAGS="-Webapp -Assistant -XMPP"
+
+# Any cabal build flags go here.
+FLAGS=""
 
 PATH="$HP/bin:$HP/lib/extralibs/bin:/c/Program Files (x86)/NSIS:$PATH"
 
@@ -52,5 +54,6 @@ withcyg Build/NullSoftInstaller.exe
 rm -f last-incremental-failed
 
 # Test git-annex
+# (doesn't currently work well on autobuilder, reason unknown)
 rm -rf .t
 withcyg dist/build/git-annex/git-annex.exe test || true