summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.circleci/config.yml34
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 @@
1version: 2
2jobs:
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