.travis.yml

dist: xenial
language: c
cache:
  directories:
  - $HOME/.stack
before_install:
  - mkdir -p ~/.local/bin
  - export PATH=$HOME/.local/bin:$PATH
  - travis_retry curl -L https://get.haskellstack.org/stable/linux-x86_64.tar.gz | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
install:
  - git clone --recursive https://github.com/ucsd-progsys/liquidhaskell ~/liquidhaskell
  - cd ~/liquidhaskell && stack install
  - cd ${TRAVIS_BUILD_DIR}
  - stack --no-terminal --skip-ghc-check build
script:
  - stack exec liquid src/Ex02.hs
  - stack exec liquid src/Ex03.hs
  - stack exec liquid src/Ex041.hs
  - stack exec liquid src/Ex042.hs
  - stack exec liquid src/Ex05.hs
  - stack exec liquid src/Ex06.hs
  - stack exec liquid src/Ex062.hs
  - stack exec liquid src/Ex06len.hs
  - stack exec liquid src/Ex07.hs
  - stack exec liquid src/Case01.hs
addons:
  apt:
    packages:
    - z3