machine:
  #ghc:
  #  version: 7.10.2
  pre:
    - sudo add-apt-repository -y ppa:hvr/z3
    # - sudo add-apt-repository -y ppa:hvr/ghc
    - sudo apt-get -y update
    - sudo apt-get -y install z3 # ghc-7.10.3

checkout:
  post:
    - git submodule sync
    # fetch fixpoint pull requests
    - sed -i '/fixpoint.git/a fetch = +refs/pull/*/head:refs/remotes/origin/pr/*' .git/modules/liquid-fixpoint/config
    - git submodule update --init
    - pwd

dependencies:
  cache_directories:
    - "~/.stack"
    - ".stack-work"
  pre:
    # - curl -sSL https://get.haskellstack.org/ | sh
    - curl -SL https://www.stackage.org/stack/linux-x86_64-static | tar zx -C /tmp
    # - curl -L https://github.com/commercialhaskell/stack/releases/download/v1.0.4/stack-1.0.4-linux-x86_64.tar.gz | tar zx -C /tmp
    - sudo mv /tmp/stack-*-linux-x86_64-static/stack /usr/bin
  override:
    - stack setup
    - rm -fr $(stack path --dist-dir) $(stack path --local-install-root)
    - stack build liquidhaskell --only-dependencies --test --no-run-tests

compile:
  override:
    # - stack build liquidhaskell --fast --pedantic --flag liquidhaskell:include --flag liquidhaskell:devel
    - stack build liquidhaskell --flag liquidhaskell:include --flag liquidhaskell:devel
    - stack build liquidhaskell --flag liquidhaskell:include --flag liquidhaskell:devel --test --no-run-tests

test:
  override:
    - mkdir -p $CIRCLE_TEST_REPORTS/junit
    - stack test liquidhaskell:test --flag liquidhaskell:include --flag liquidhaskell:devel --test-arguments="-t 1200s -j2 --xml=$CIRCLE_TEST_REPORTS/junit/main-test-results.xml --liquid-opts='--cores=1'":
        timeout: 1800
    - stack test liquidhaskell:liquidhaskell-parser --test-arguments="-j2 --xml=$CIRCLE_TEST_REPORTS/junit/parser-test-results.xml":
        timeout: 1800
    # - git ls-files | grep '\.l\?hs$' | xargs stack exec -- hlint -X QuasiQuotes "$@"
    # - stack exec -- cabal update
    # - stack exec --no-ghc-package-path -- cabal install --only-dependencies --dry-run --reorder-goals
    # - stack exec -- packdeps *.cabal || true
    # - stack exec -- cabal check
    - stack sdist
  post:
    # - stack haddock liquidhaskell --no-haddock-deps --haddock-arguments="--no-print-missing-docs --odir=$CIRCLE_ARTIFACTS"
    # - cp -r dist/doc $CIRCLE_ARTIFACTS
    - mkdir -p $CIRCLE_TEST_REPORTS/tasty
    - cp -r tests/logs/cur $CIRCLE_TEST_REPORTS/tasty/log
    # - hpc-coveralls --exclude-dir=tests --repo-token=$COVERALLS_REPO_TOKEN