ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

FetchGit Nixpkgs from nix-shell

This commit is contained in:
Ehmry - 2019-11-28 13:38:29 +01:00
parent 3d68a520cb
commit 0797619d29
2 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
default.nix
View File

@ -1,7 +1,14 @@
{ system ? "x86_64-genode", self ? { }, nixpkgs ? import <nixpkgs> {
localSystem = "x86_64-linux";
crossSystem = "x86_64-genode";
} }:
let
nixpkgsGit = builtins.fetchGit {
url = "https://gitea.c3d2.de/ehmry/nixpkgs.git";
ref = "genode";
};
pinnedNixpkgs = import nixpkgsGit {
localSystem = "x86_64-linux";
crossSystem = "x86_64-genode";
};
in { system ? "x86_64-genode", self ? { }, nixpkgs ? pinnedNixpkgs }:
let
inherit (nixpkgs) stdenv buildPackages fetchgit llvmPackages;

1
shell.nix
View File

@ -1 +1,2 @@
let pkgs = import ./default.nix { }; in pkgs.base
# Use the "base" repository build for our shell environment.