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

checkout:
  post:
    # - git submodule sync
    # - 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 -SL https://www.stackage.org/stack/linux-x86_64-static | 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 liquid-fixpoint --only-dependencies --test --no-run-tests

compile:
  override:
    - stack build liquid-fixpoint --flag liquid-fixpoint:devel
    - stack build liquid-fixpoint --flag liquid-fixpoint:devel --test --no-run-tests

test:
  override:
    - mkdir -p $CIRCLE_TEST_REPORTS/junit
    - stack test liquid-fixpoint:test --flag liquid-fixpoint:devel --test-arguments="--xml=$CIRCLE_TEST_REPORTS/junit/main-test-results.xml":
        timeout: 1800
    - stack test liquid-fixpoint:testparser --flag liquid-fixpoint:devel
    - 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