ehmry/genodepkgs
ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity

Build Genode stdenv

This commit is contained in:
Ehmry - 2019-09-01 16:43:59 +02:00
parent 7f8e7923a6
commit ca13c09335
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
release.nix
View File

@ -1,13 +1,11 @@
{ genodepkgs ? builtins.fetchGit ./., nixpkgs ? builtins.fetchGit { { genodepkgs ? builtins.fetchGit ./. }:
url = "https://github.com/ehmry/nixpkgs.git";
ref = "genode";
} }:
{ {
build.x86_64 = let build.x86_64 = let
pkgs = import ./default.nix { pkgs =
inherit nixpkgs; import ./default.nix { system = { config = "x86_64-unknown-genode"; }; };
system = { config = "x86_64-unknown-genode"; }; in {
}; inherit (pkgs) upstream ports libretro;
in { inherit (pkgs) upstream ports libretro; }; nixpkgs = { inherit (pkgs.nixpkgs) stdenv; };
};
} }