diff options
author | Maximilian Bosch <maximilian@mbosch.me> | 2019-11-01 19:06:32 +0100 |
---|---|---|
committer | Maximilian Bosch <maximilian@mbosch.me> | 2019-11-01 19:06:32 +0100 |
commit | a2d6311d5f16bc3d86f019a5af699ce9068b9f1b (patch) | |
tree | b1f47363e09f2238fe5846dae22c0718dc0bab96 | |
parent | 75b8f418b3965132167305d916c9843301eacea2 (diff) |
Explicitly pin nixpkgs to a given release-19.09 revtesting
Just updated and backported cargo-xbuild and xorriso before, so now this
uses fairly recent versions.
-rw-r--r-- | kernel/shell.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kernel/shell.nix b/kernel/shell.nix index 4fc72af..e57790f 100644 --- a/kernel/shell.nix +++ b/kernel/shell.nix @@ -1,4 +1,7 @@ -with import <nixpkgs> { }; +with import (fetchTarball { + url = https://github.com/NixOS/nixpkgs/archive/9708378251ee362a3a8861e4d0c3ffe45a21c566.tar.gz; + sha256 = "000n0vsdhii77qh5arn0lsf747xhk7y1x0mszh39psj3in0fadzl"; +}) { }; mkShell { name = "uff-os"; buildInputs = [ rustup nasm grub2 cargo-xbuild gcc xorriso ]; |