From ed40f56d17cae0dd7b4a84cfc1346a9a88f77c68 Mon Sep 17 00:00:00 2001
From: Mathieu Boespflug <m@tweag.io>
Date: Sat, 20 Oct 2018 12:25:47 +0200
Subject: [PATCH] Add a shell.nix file. Make CI use it.

---
 .circleci/config.yml |  5 ++---
 shell.nix            | 11 +++++++++++
 2 files changed, 13 insertions(+), 3 deletions(-)
 create mode 100644 shell.nix

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 44e5c59f..10d56e2d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -10,9 +10,8 @@ jobs:
       - run:
           name: System dependencies
           command: |
-            export NIX_PATH=nixpkgs=$PWD/nix/default.nix
             apk update --no-progress && apk --no-progress add bash ca-certificates
-            nix-env -iA nixpkgs.bazel nixpkgs.gcc
       - run:
           name: Run tests
-          command: bazel test //...
+          command: |
+            nix-shell --pure --run 'bazel test //...'
diff --git a/shell.nix b/shell.nix
new file mode 100644
index 00000000..19d33dff
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,11 @@
+{ pkgs ? import ./nix/default.nix {} }:
+
+with pkgs;
+
+mkShell {
+  buildInputs = [
+    bazel
+    gcc
+    nix
+  ];
+}