liquid-fixpoint-0.6.0.1: .travis.yml

language: c
sudo: false

# Only build master, develop, and PRs
branches:
  only:
  - master
  - develop
  - parser-az

matrix:
  include:
    - env: SMT="z3" CABAL=1.22 GHC=7.10.3
      addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3,],sources: [hvr-ghc]}}
    - env: SMT="z3" CABAL=1.24 GHC=8.0.1
      addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,],sources: [hvr-ghc]}}
    - env: SMT="z3" CABAL=1.24 GHC=8.0.2
      addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.2,],sources: [hvr-ghc]}}
    - env: CABALVER=head GHCVER=head
      addons: {apt: {packages: [cabal-install-head,ghc-head],  sources: [hvr-ghc]}}

  allow_failures:
   - env: CABALVER=head GHCVER=head

cache:
  directories:
  - $HOME/.cabal
  - $HOME/.ghc

before_install:
 - export PATH="$HOME/.cabal/bin:/opt/ghc/$GHC/bin:/opt/cabal/$CABAL/bin:$PATH"
 - scripts/travis clean_cache "$SMT"

install:
 - scripts/travis install_cabal_deps
 - scripts/travis install_smt "$SMT"

script:
 - scripts/travis do_build && scripts/travis do_test "$SMT"
 - scripts/travis clean_cache "$SMT"

after_failure:
 - scripts/travis dump_fail_logs

notifications:
  slack:
    rooms:
      secure: VT1SqW+4WQKb2PXgObQ/rNdQN8pFK5LaFacxB0fEvRZ2FSbM3qp1NGgii7WHlQdr598+L5qYhkpy1B8ssgNeR7iMmYP4GV/fhCoMd8nTQHLSrTMH8iQgT0D7SnuKdk5FQq1IXWtHjUzXtTIhnkfwOJF/xYf6BMMrO0sCta5JZgg=
    on_success: change
    on_failure: always
    on_start: never