git » yosys.git » commit 74be27d

diff --git a/PKGBUILD b/PKGBUILD
index af5ac90..1ef34bc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 
 pkgname=yosys
 pkgver=0.24
-pkgrel=2
+pkgrel=3
 pkgdesc='A framework for RTL synthesis'
 arch=('x86_64')
 url='https://yosyshq.net/yosys/'
@@ -22,6 +22,8 @@ source=("https://github.com/cliffordwolf/yosys/archive/$pkgname-$pkgver.tar.gz")
 sha512sums=('f345267e42e879a4629d731414c51e86585e1d80accf9920799f65a771b3ce22632c04317c6db87fa786ba6efe8c4cfdb5ea3079c131932488c294136887cbee')
 
 _make() {
+    local python_version=$(python -c 'import sys; print(".".join(map(str, sys.version_info[:2])))')
+    local python_version_combined=$(python -c 'import sys; print("".join(map(str, sys.version_info[:2])))')
     make \
         PREFIX="/usr" \
         CONFIG=gcc \
@@ -34,7 +36,7 @@ _make() {
         ENABLE_ZLIB=1 \
         ENABLE_PYOSYS=1 \
         ABCEXTERNAL=abc \
-        BOOST_PYTHON_LIB="-lpython3.10 -lboost_python310" $@
+        BOOST_PYTHON_LIB="-lpython${python_version} -lboost_python${python_version_combined}" $@
 }
 
 build() {