Use copying on windows

diff --git a/.travis.yml b/.travis.yml
index 38010ea88e6ff9bd638868c729706b2b45129698..e2b0ec834e8632dbf670bffd5babdfee63993942 100644 (file)
--- 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