diff options
author | idontgetoutmuch <dominic@steinitz.org> | 2018-04-01 05:43:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-01 05:43:38 -0700 |
commit | c8c6a3e414bb08e3f818f58c121ddc99396b4f1e (patch) | |
tree | daf3add31de83efcc74b41755c2d05c811242ce6 /.circleci/config.yml | |
parent | d83b17190029c11e3ab8b504e5cdc917f5863120 (diff) | |
parent | 1a68793247b8845cefad4d157e4f4d25b1731b42 (diff) |
Merge pull request #262 from idontgetoutmuch/master
Implement CI
Diffstat (limited to '.circleci/config.yml')
-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 | ||