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
This commit is contained in:
Vladimír Čunát 2018-02-11 18:38:06 +01:00
parent 1f4ac3bc79
commit ae040525d8
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -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