diff options
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml new file mode 100644 index 0000000..61d0c5a --- /dev/null +++ b/.circleci/config.yml | |||
| @@ -0,0 +1,34 @@ | |||
| 1 | version: 2 | ||
| 2 | jobs: | ||
| 3 | build: | ||
| 4 | docker: | ||
| 5 | - image: fpco/stack-build | ||
| 6 | steps: | ||
| 7 | - checkout | ||
| 8 | - restore_cache: | ||
| 9 | key: stack-deps-{{ checksum "stack.yaml" }} | ||
| 10 | - run: | ||
| 11 | name: Setup build toolchain | ||
| 12 | command: stack setup | ||
| 13 | - run: | ||
| 14 | name: Building dependencies | ||
| 15 | command: stack test --only-snapshot --prefetch | ||
| 16 | - save_cache: | ||
| 17 | paths: | ||
| 18 | - "~/.stack" | ||
| 19 | key: stack-deps-{{ checksum "stack.yaml" }} | ||
| 20 | - run: | ||
| 21 | name: Set up apt | ||
| 22 | command: apt update | ||
| 23 | - run: | ||
| 24 | name: Installing C packages | ||
| 25 | command: apt -y install libglpk-dev | ||
| 26 | - run: | ||
| 27 | name: Building | ||
| 28 | command: stack build --pedantic | ||
| 29 | - run: | ||
| 30 | name: Building tests | ||
| 31 | command: stack test --pedantic --no-run-tests | ||
| 32 | - run: | ||
| 33 | name: Running tests | ||
| 34 | command: stack test | ||