summaryrefslogtreecommitdiff
path: root/.circleci/config.yml
blob: 61d0c5a7f7313da08e813782cc317979e32972a6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
version: 2
jobs:
  build:
    docker:
      - image: fpco/stack-build
    steps:
      - checkout
      - restore_cache:
          key: stack-deps-{{ checksum "stack.yaml" }}
      - run:
          name: Setup build toolchain
          command: stack setup
      - run:
          name: Building dependencies
          command: stack test --only-snapshot --prefetch
      - save_cache:
          paths:
            - "~/.stack"
          key: stack-deps-{{ checksum "stack.yaml" }}
      - run:
          name: Set up apt
          command: apt update
      - run:
          name: Installing C packages
          command: apt -y install libglpk-dev
      - run:
          name: Building
          command: stack build --pedantic
      - run:
          name: Building tests
          command: stack test --pedantic --no-run-tests
      - run:
          name: Running tests
          command: stack test