From 40cf720d06d08a5de1ac4ca2f8c449677862d95d Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 21 Sep 2022 08:21:22 +0200
Subject: extra/linux-zen: pin gcc version

---
 extra/linux-zen/PKGBUILD | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/extra/linux-zen/PKGBUILD b/extra/linux-zen/PKGBUILD
index 7b66d446..89064177 100644
--- a/extra/linux-zen/PKGBUILD
+++ b/extra/linux-zen/PKGBUILD
@@ -15,9 +15,18 @@ eval "$(
         a \
         install -t "${builddir}/arch/x86" -m644 arch/x86/Makefile_32.cpu
       }
+      /}/ i depends+=(gcc-libs=$(get_gcc_version_from_config))
     '
 )"
 
+get_gcc_version_from_config() {
+  sed '
+    s/^CONFIG_CC_VERSION_TEXT="gcc (GCC) \([0-9.]\+\)"$/\1/
+    t
+    d
+  ' "$srcdir/$_srcname/.config"
+}
+
 # use our tarballer instead of cloning from git
 for ((i=0; i<${#source[@]}; i++)); do
   infos=$(
-- 
cgit v1.2.3-70-g09d2