.travis.yml

language: haskell

sudo: false

cache:
  directories:
  - $HOME/.stack

before_install:
  - mkdir -p ~/.local/bin
  - export PATH=~/.local/bin:$PATH
  - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar -xzO --wildcards '*/stack' > ~/.local/bin/stack
  - chmod a+x ~/.local/bin/stack
  # FIXME since upstream of Z3-encoding updated and refactored, need to catch up later.
  # - git submodule update

matrix:
  include:
    - env: CABALVER=1.22 GHCVER=7.10.3
      addons: {apt: {packages: [cabal-install-1.22,ghc-7.10.3],sources: [hvr-ghc]}}

install:
  - stack -j 2 setup --no-terminal
  - stack -j 2 build --only-snapshot --no-terminal

script:
  - wget https://github.com/Z3Prover/z3/archive/z3-4.4.1.zip
  - unzip z3-4.4.1.zip
  - cd z3-z3-4.4.1
  - python scripts/mk_make.py  --prefix=`pwd`/install
  - cd build
  - make
  - make install
  - cd ../install/lib
  - export LD_LIBRARY_PATH=`pwd`
  - stack clean && stack test --extra-include-dirs $TRAVIS_BUILD_DIR/z3-z3-4.4.1/install/include --extra-lib-dirs $TRAVIS_BUILD_DIR/z3-z3-4.4.1/install/lib