diff options
| author | idontgetoutmuch <dominic@steinitz.org> | 2018-04-01 10:25:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-01 10:25:10 -0700 |
| commit | 7ff1249249cb1b238e3e5ffafdaa9180c86242b9 (patch) | |
| tree | 903fa549ea33ae9eff9fb527375f87548948d41d /.circleci/config.yml | |
| parent | 1bdd94324c6e7cd9d9361c4136998d4c14ea3857 (diff) | |
| parent | 63ceed4a69563c08e54269a4a9d3e5d27cb7c489 (diff) | |
Merge branch 'master' into master
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 | ||