From 0d670695ae078c1c8e8d8aca660d8555fa60d3a3 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Fri, 5 Jul 2024 15:17:20 +0200
Subject: core/linux: decoupled kernel 32-bit patching and gcc-lib pinning,
 disabled gcc-lib pinning for now

---
 core/linux/PKGBUILD | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/core/linux/PKGBUILD b/core/linux/PKGBUILD
index 76b4daa6..e8cf0d85 100644
--- a/core/linux/PKGBUILD
+++ b/core/linux/PKGBUILD
@@ -25,10 +25,19 @@ eval "$(
         a \
         install -t "${builddir}/arch/x86" -m644 arch/x86/Makefile_32.cpu
       }
-      $ i depends+=(gcc-libs=$(_get_gcc_version_from_config))
     '
 )"
 
+# pin gcc-libs version (for pahole, kernel modules etc.)
+# currently not working because of 'creative' pkgver
+# versions upstream '14.1.1+r58+gfc9fb69ad62-1'
+#eval "$(
+#  declare -f package_${pkgbase}-headers | \
+#    sed '
+#      $ i depends+=(gcc-libs=$(_get_gcc_version_from_config))
+#    '
+#)"
+
 _get_gcc_version_from_config() {
   if [ -z "$srcdir" ]; then
     gcc --version \
-- 
cgit v1.2.3-70-g09d2