From 1622bf09e12b8df74f1303cfa2e0c4bc461c3350 Mon Sep 17 00:00:00 2001
From: Dominic Steinitz <dominic@steinitz.org>
Date: Tue, 3 Apr 2018 12:16:41 +0100
Subject: Use nix rather than ubuntu for CI

---
 .circleci/config.yml | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 61d0c5a..abdfa0f 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -2,33 +2,27 @@ version: 2
 jobs:
   build:
     docker:
-      - image: fpco/stack-build
+      - image: nixorg/nix:circleci
     steps:
       - checkout
       - restore_cache:
           key: stack-deps-{{ checksum "stack.yaml" }}
       - run:
           name: Setup build toolchain
-          command: stack setup
+          command: stack --nix setup
       - run:
           name: Building dependencies
-          command: stack test --only-snapshot --prefetch
+          command: stack --nix 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
+          command: stack --nix build --pedantic
       - run:
           name: Building tests
-          command: stack test --pedantic --no-run-tests
+          command: stack --nix test --pedantic --no-run-tests
       - run:
           name: Running tests
-          command: stack test
+          command: stack --nix test
-- 
cgit v1.2.3