From 617625917faa0d8ab514de2b4f0a178e66dfbf1d Mon Sep 17 00:00:00 2001 From: Dominic Steinitz Date: Mon, 2 Apr 2018 08:37:21 +0100 Subject: Add CI config --- .circleci/config.yml | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 .circleci/config.yml 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 @@ +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 -- cgit v1.2.3