appveyor.yml

---
build: false

cache:
  - "c:\\sr"

before_test:
  - "curl -sS -ostack.zip -L --insecure http://www.stackage.org/stack/windows-x86_64"
  - "7z x stack.zip stack.exe"
  - "curl -sS -oz3.zip -L --insecure https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-win.zip"
  - "7z x z3.zip -oc:\\z3 -r"
  - "set PATH=C:\\z3\\z3-4.8.7-x64-win\\bin;%PATH%"

environment:
  global:
    STACK_ROOT: "c:\\sr"

    # Override the temp directory to avoid sed escaping issues
    # See https://github.com/haskell/cabal/issues/5386
    TMP: "C:\\Users\\appveyor\\AppData\\Local\\Temp"

image: "Visual Studio 2017"

test_script:
  - "stack build --only-dependencies"
  - "stack build"