diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2018-02-11 18:38:06 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2018-02-11 18:55:18 +0100 |
commit | ae040525d8aa01e81ffd1d1c97c908a6e63c819f (patch) | |
tree | ec4e8becfdcda88cf34452ea4be808826ab29de6 /pkgs/os-specific/linux | |
parent | 1f4ac3bc795a7386414ba9519087f1796fa9c987 (diff) |
linux-*: build with gcc7, but allow overriding it
I expect we will revert this after general upgrade to gcc7. See https://github.com/NixOS/nixpkgs/issues/34383
Diffstat (limited to 'pkgs/os-specific/linux')
-rw-r--r-- | pkgs/os-specific/linux/kernel/generic.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/pkgs/os-specific/linux/kernel/generic.nix b/pkgs/os-specific/linux/kernel/generic.nix index ebd889d1a99e0..0bed93d76edb6 100644 --- a/pkgs/os-specific/linux/kernel/generic.nix +++ b/pkgs/os-specific/linux/kernel/generic.nix @@ -4,10 +4,15 @@ , utillinux , writeTextFile, ubootTools , callPackage +, overrideCC, gcc7 }: { stdenv, buildPackages, perl, buildLinux +, # Allow really overriding even our gcc7 default. + # We want gcc >= 7.3 to enable the "retpoline" mitigation of security problems. + stdenvNoOverride ? overrideCC stdenv gcc7 + , # The kernel source tarball. src @@ -32,12 +37,14 @@ # optionally be compressed with gzip or bzip2. kernelPatches ? [] , ignoreConfigErrors ? hostPlatform.platform.name != "pc" || - hostPlatform != stdenv.buildPlatform + hostPlatform != stdenvNoOverride.buildPlatform , extraMeta ? {} , hostPlatform , ... } @ args: +let stdenv = stdenvNoOverride; in # finish the rename + assert stdenv.isLinux; let |