2
0
Fork 0

WiP! build with gcc8

This commit is contained in:
Ehmry - 2020-08-15 18:59:29 +02:00
parent 3e5b36825c
commit b5c4e2c29b
1 changed files with 1 additions and 2 deletions

View File

@ -21,7 +21,6 @@ let
genodeSources = genodeSources =
# The Genode source repository # The Genode source repository
let let
toolPrefix = if platform.isx86 then toolPrefix = if platform.isx86 then
"genode-x86-" "genode-x86-"
else if platform.isAarch64 then else if platform.isAarch64 then
@ -123,7 +122,7 @@ let
ports = ports =
lib.mapAttrs preparePort (import ./ports.nix { inherit buildPackages; }); lib.mapAttrs preparePort (import ./ports.nix { inherit buildPackages; });
toolchain' = buildPackages.stdenv.mkDerivation rec { toolchain' = buildPackages.gcc8Stdenv.mkDerivation rec {
pname = "toolchain"; pname = "toolchain";
inherit (genodeSources) src version; inherit (genodeSources) src version;