---
version: 2.0

jobs:
  build:
    docker:
      - image: fpco/stack-build:lts-14.0
    steps:
      - add_ssh_keys
      - run: apt-get install z3
      - checkout
      - restore_cache:
          keys:
            - stack-{{ checksum "stack.yaml" }}
      - run:
          name: Dependencies
          command: |
            stack setup
            stack build liquid-fixpoint --only-dependencies --test --no-run-tests
      - save_cache:
          key: stack-{{ checksum "stack.yaml" }}
          paths:
            - ~/.stack
            - ./.stack-work
      - run:
          name: Compile
          command : |
            stack build liquid-fixpoint --flag liquid-fixpoint:devel
            stack build liquid-fixpoint --flag liquid-fixpoint:devel --test --no-run-tests
      - run:
          name: Test
          command: |
            stack clean
            mkdir -p /tmp/junit
            stack test liquid-fixpoint:test --flag liquid-fixpoint:devel --test-arguments="--xml=/tmp/junit/main-test-results.xml":
            stack haddock
            stack sdist
            # mkdir -p $CIRCLE_TEST_REPORTS/tasty
            # cp -r tests/logs/cur $CIRCLE_TEST_REPORTS/tasty/log
      - run:
          name: Dist
          command: stack sdist