From 62984542160f77c5f82e74b57099bbb0a53cc3b4 Mon Sep 17 00:00:00 2001
From: Luke Lau <luke_lau@icloud.com>
Date: Sun, 9 Jun 2019 00:50:23 +0100
Subject: [PATCH] Use copying on windows

---
 .travis.yml | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 38010ea..e2b0ec8 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -56,8 +56,19 @@ before_install:
 - git checkout abdb097f39e135deaf321a604c95f16cbda32678
 - git submodule update --init
 - cabal v2-update
-- cabal v2-install hie -j2 --overwrite-policy=always
-- cabal v2-install hoogle -j2 --overwrite-policy=always
+- cabal --version
+- |
+  if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then
+    cabal v2-install hie -j2 --overwrite-policy=always --install-method=copy --installdir=~/.cabal/bin
+  else
+    cabal v2-install hie -j2 --overwrite-policy=always
+  fi
+- |
+  if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then
+    cabal v2-install hoogle -j2 --overwrite-policy=always --install-method=copy --installdir=~/.cabal/bin
+  else
+    cabal v2-install hoogle -j2 --overwrite-policy=always
+  fi
 - hoogle generate
 - popd
 # needs to be old-install for cabal-helper to find it
-- 
2.30.2