diff options
| author | Pierre Bourdon <delroth@gmail.com> | 2019-01-04 02:07:17 +0100 |
|---|---|---|
| committer | Pierre Bourdon <delroth@gmail.com> | 2019-01-04 22:24:50 +0100 |
| commit | c789f642f02d8bab42bca6c1bf920e2d916389c7 (patch) | |
| tree | d060d56cd1d04adb565efc5fd1797305feb7be29 /pkgs/os-specific/linux/kernel/generic.nix | |
| parent | e753bc125f23225b1fb26ab7f4819d273bf2ed49 (diff) | |
| download | nixpkgs-c789f642f02d8bab42bca6c1bf920e2d916389c7.tar nixpkgs-c789f642f02d8bab42bca6c1bf920e2d916389c7.tar.gz nixpkgs-c789f642f02d8bab42bca6c1bf920e2d916389c7.tar.bz2 nixpkgs-c789f642f02d8bab42bca6c1bf920e2d916389c7.tar.lz nixpkgs-c789f642f02d8bab42bca6c1bf920e2d916389c7.tar.xz nixpkgs-c789f642f02d8bab42bca6c1bf920e2d916389c7.tar.zst nixpkgs-c789f642f02d8bab42bca6c1bf920e2d916389c7.zip | |
kernel/generic.nix: provide required dependencies for GCC plugins builds
Diffstat (limited to 'pkgs/os-specific/linux/kernel/generic.nix')
| -rw-r--r-- | pkgs/os-specific/linux/kernel/generic.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/os-specific/linux/kernel/generic.nix b/pkgs/os-specific/linux/kernel/generic.nix index e424dff596d..3f6479c572b 100644 --- a/pkgs/os-specific/linux/kernel/generic.nix +++ b/pkgs/os-specific/linux/kernel/generic.nix @@ -4,6 +4,9 @@ , perl , bison ? null , flex ? null +, gmp ? null +, libmpc ? null +, mpfr ? null , stdenv , # The kernel source tarball. @@ -89,7 +92,7 @@ let passAsFile = [ "kernelConfig" ]; depsBuildBuild = [ buildPackages.stdenv.cc ]; - nativeBuildInputs = [ perl ] + nativeBuildInputs = [ perl gmp libmpc mpfr ] ++ lib.optionals (stdenv.lib.versionAtLeast version "4.16") [ bison flex ]; platformName = stdenv.hostPlatform.platform.name; @@ -112,7 +115,10 @@ let export buildRoot="''${buildRoot:-build}" # Get a basic config file for later refinement with $generateConfig. - make HOSTCC=${buildPackages.stdenv.cc.targetPrefix}gcc -C . O="$buildRoot" $kernelBaseConfig ARCH=$kernelArch + make -C . O="$buildRoot" $kernelBaseConfig \ + ARCH=$kernelArch \ + HOSTCC=${buildPackages.stdenv.cc.targetPrefix}gcc \ + HOSTCXX=${buildPackages.stdenv.cc.targetPrefix}g++ # Create the config file. echo "generating kernel configuration..." |