From 89d8674c6ac2c826f157ff0a007cc5eecda9b313 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 1 Jul 2018 18:42:50 +0200
Subject: Add a test build of Nix package to GitLab CI.

We pin default.nix again to make the CI build predictable.
As in Windows builds, we need to override the default before_script.
As in other test-suite jobs, we export logs as artifacts on failure.
---
 default.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index e4834ae3ad..d5e7674d4e 100644
--- a/default.nix
+++ b/default.nix
@@ -21,7 +21,11 @@
 # Once the build is finished, you will find, in the current directory,
 # a symlink to where Coq was installed.
 
-{ pkgs ? (import <nixpkgs> {})
+{ pkgs ?
+    (import (fetchTarball {
+      url = "https://github.com/NixOS/nixpkgs/archive/060a98e9f4ad879492e48d63e887b0b6db26299e.tar.gz";
+      sha256 = "1lzvp3md0hf6kp2bvc6dbzh40navlyd51qlns9wbkz6lqk3lgf6j";
+    }) {})
 , ocamlPackages ? pkgs.ocaml-ng.ocamlPackages_4_06
 , buildIde ? true
 , buildDoc ? true
-- 
cgit v1.2.3