appveyor.yml

# Disabled cache in hope of improving reliability of AppVeyor builds
cache:
# - "c:\\sr" # stack root, short paths == fewer problems
# - "c:\\sr\\build-plan"
# - "c:\\sr\\build-plan-cache"
# - "c:\\sr\\config.yaml"
# - "c:\\sr\\global-project"
- "c:\\sr\\indices -> appveyor.yml"
- "c:\\sr\\precompiled -> appveyor.yml"
- "c:\\sr\\programs -> appveyor.yml"
- "c:\\sr\\setup-exe-cache -> appveyor.yml"
- "c:\\sr\\snapshots -> appveyor.yml"
# - "c:\\sr\\templates"
# - "C:\\stack\\.stack-work\\downloaded -> appveyor.yml"
- "C:\\stack\\.stack-work\\install -> appveyor.yml"
- "C:\\stack\\.stack-work\\logs -> appveyor.yml"

install:
  # 
  # z3
  # 
- mkdir c:\\z3 || echo exists
- curl -sS -oz3.zip -L --insecure https://github.com/Z3Prover/z3/releases/download/z3-4.4.1/z3-4.4.1-%platform%-win.zip
  # https://github.com/Z3Prover/z3/releases/download/z3-4.4.1/z3-4.4.1-x86-win.zip
- unzip z3.zip
- cp z3-4.4.1-%platform%-win\\bin\\z3.exe c:\\z3\\
- cp z3-4.4.1-%platform%-win\\bin\\z3.exe c:\\stack\\
# - set PATH="c:\\z3;%PATH%"
- z3 -h || echo ""
  # 
  # Stack
  # 
- curl -sS -ostack.zip -L --insecure http://www.stackage.org/stack/windows-i386
- 7z x stack.zip stack.exe

clone_folder: "c:\\stack"
environment:
  global:
    STACK_ROOT: "c:\\sr"
  matrix: 
    # - lts: --resolver lts-3
    # - lts: --resolver lts-6
    # - lts: --resolver lts-7
    - lts: ""

platform:
  # - x86
  - x64

build:
  parallel: true

build_script:
- stack setup %lts% > nul
# - cmd: echo "" | stack --no-terminal install lens %lts%
- cmd: echo "" | stack --no-terminal install dlist cereal mtl text lens %lts%
# - cmd: echo "" | stack --no-terminal build %lts% --test --no-run-tests

skip_commits:
  files:
    - .travis.yml


test_script:
# The ugly echo "" hack is to avoid complaints about 0 being an invalid file
# descriptor
- cmd: echo "" 
# - cmd: echo "" | stack --no-terminal test %lts%