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

WiP! Genode toolchain: use current release sources

This commit is contained in:
Ehmry - 2020-08-15 18:46:59 +02:00
parent be95e44865
commit ed0bf3a1b6
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
packages/genodelabs/default.nix
View File

@ -125,12 +125,7 @@ let
toolchain' = buildPackages.stdenv.mkDerivation rec {
pname = "toolchain";
version = "19.05";
# use the sources of the last toolchain update
src = fetchurl {
url = "https://github.com/genodelabs/genode/archive/${version}.tar.gz";
hash = "sha256-nK+smAvxbbcQQ3gY7BmFvnQ6MjNbbUfvcU5qXxAKKNc=";
};
inherit (genodeSources) src version;
nativeBuildInputs = with buildPackages; [
autoconf264