aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorVincent Laporte2019-03-15 17:43:15 +0000
committerVincent Laporte2019-03-18 08:56:11 +0000
commitd7e7ec69c84db9c164dd546642ed0b638af766d3 (patch)
tree628a8ce13320cb98853f15c714e5919ab5bab2d3 /dev
parent23f2c0405fe55d3c2f63e65880da906acf213254 (diff)
[nix] Move nixpkgs.nix into the dev/ directory
Diffstat (limited to 'dev')
-rw-r--r--dev/ci/nix/default.nix2
-rw-r--r--dev/nixpkgs.nix4
2 files changed, 5 insertions, 1 deletions
diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix
index 6dc0a71edc..2dcacba0ea 100644
--- a/dev/ci/nix/default.nix
+++ b/dev/ci/nix/default.nix
@@ -1,4 +1,4 @@
-{ pkgs ? import ../../../nixpkgs.nix {}
+{ pkgs ? import ../../nixpkgs.nix {}
, branch
, wd
, project ? "xyz"
diff --git a/dev/nixpkgs.nix b/dev/nixpkgs.nix
new file mode 100644
index 0000000000..13da772463
--- /dev/null
+++ b/dev/nixpkgs.nix
@@ -0,0 +1,4 @@
+import (fetchTarball {
+ url = "https://github.com/NixOS/nixpkgs/archive/11cf7d6e1ffd5fbc09a51b76d668ad0858a772ed.tar.gz";
+ sha256 = "0zcg4mgfdk3ryiqj1j5iv5bljjvsgi6q6j9z1vkq383c4g4clc72";
+})