diff options
author | Joachim Fasting <joachifm@fastmail.fm> | 2016-04-18 17:08:53 +0200 |
---|---|---|
committer | Joachim Fasting <joachifm@fastmail.fm> | 2016-04-19 14:45:30 +0200 |
commit | 893186f4fd4c1e697b2bc38aa8f268f236d5ea02 (patch) | |
tree | 8c2eb0cbbf1ae23cdb2552b60b038c47917f82b3 /pkgs/os-specific/linux/kernel-headers | |
parent | b42bff4630b9a67a5a8edb14bcdcae2790f502f2 (diff) |
kernel-headers: mark broken for grsecurity kernels
Extracting headers from a grsecurity patched kernel triggers additional
build steps that require gcc plugins. For this to work, we'd need to
add gmp, libmpfr, and libmpc to the build inputs as well as run `make
prepare` before installing the headers (lest the build fail due to
missing files).
Out-of-tree modules use kernel.dev and user space should use the Linux
API headers used to build libc, not headers extracted from random
kernels, so fixing this for grsecurity is pointless.
Diffstat (limited to 'pkgs/os-specific/linux/kernel-headers')
-rw-r--r-- | pkgs/os-specific/linux/kernel-headers/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/os-specific/linux/kernel-headers/default.nix b/pkgs/os-specific/linux/kernel-headers/default.nix index a33d24fc847..da9f3009474 100644 --- a/pkgs/os-specific/linux/kernel-headers/default.nix +++ b/pkgs/os-specific/linux/kernel-headers/default.nix @@ -1,5 +1,7 @@ { stdenv, kernel, perl }: +assert (!(kernel.features.grsecurity or false)); + let baseBuildFlags = [ "INSTALL_HDR_PATH=$(out)" "headers_install" ]; in stdenv.mkDerivation { |