From 181e3acdf6d619d79945ec7d66ac65ad1d4a8f1a Mon Sep 17 00:00:00 2001 From: Dariqq <6424921-Dariqq@users.noreply.gitlab.com> Date: Wed, 27 Dec 2023 16:44:06 +0000 Subject: [PATCH] nongnu: linux-4.14: Disable gcc plugins. * nongnu/packages/linux.scm (linux-4.14): Add additonal config options. Signed-off-by: Jonathan Brielmaier --- nongnu/packages/linux.scm | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/nongnu/packages/linux.scm b/nongnu/packages/linux.scm index 0094b1c..baf3760 100644 --- a/nongnu/packages/linux.scm +++ b/nongnu/packages/linux.scm @@ -122,7 +122,12 @@ on hardware which requires nonfree software to function.")))) (corrupt-linux linux-libre-4.19)) (define-public linux-4.14 - (corrupt-linux linux-libre-4.14)) + (corrupt-linux linux-libre-4.14 + #:configs + '("# CONFIG_GCC_PLUGIN_CYC_COMPLEXITY is not set" + "# CONFIG_GCC_PLUGIN_LATENT_ENTROPY is not set" + "# CONFIG_GCC_PLUGIN_STRUCTLEAK is not set" + "# CONFIG_GCC_PLUGIN_RANDSTRUCT is not set"))) (define-public linux linux-6.6) ;; linux-lts points to the *newest* released long-term support version.