File yosys-use-python311.patch of Package yosys

diff -up yosys-0.54/backends/smt2/Makefile.inc.aaaa yosys-0.54/backends/smt2/Makefile.inc
--- yosys-0.54/backends/smt2/Makefile.inc.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/backends/smt2/Makefile.inc	2025-06-22 10:22:13.232482378 +0200
@@ -10,15 +10,15 @@ TARGETS += $(PROGRAM_PREFIX)yosys-smtbmc
 TARGETS += $(PROGRAM_PREFIX)yosys-witness.exe $(PROGRAM_PREFIX)yosys-witness-script.py
 # Needed to find the Python interpreter for yosys-smtbmc scripts.
 # Override if necessary, it is only used for msys2 targets.
-PYTHON := $(shell cygpath -w -m $(PREFIX)/bin/python3)
+PYTHON := $(shell cygpath -w -m $(PREFIX)/bin/python3.11)
 
 $(PROGRAM_PREFIX)yosys-smtbmc-script.py: backends/smt2/smtbmc.py
 	$(P) sed -e 's|##yosys-sys-path##|sys.path += [os.path.dirname(os.path.realpath(__file__)) + p for p in ["/share/python3", "/../share/$(PROGRAM_PREFIX)yosys/python3"]]|;' \
-		-e "s|#!/usr/bin/env python3|#!$(PYTHON)|" < $< > $@
+		-e "s|#!/usr/bin/env python3.11|#!$(PYTHON)|" < $< > $@
 
 $(PROGRAM_PREFIX)yosys-witness-script.py: backends/smt2/witness.py
 	$(P) sed -e 's|##yosys-sys-path##|sys.path += [os.path.dirname(os.path.realpath(__file__)) + p for p in ["/share/python3", "/../share/$(PROGRAM_PREFIX)yosys/python3"]]|;' \
-		-e "s|#!/usr/bin/env python3|#!$(PYTHON)|" < $< > $@
+		-e "s|#!/usr/bin/env python3.11|#!$(PYTHON)|" < $< > $@
 
 $(PROGRAM_PREFIX)yosys-smtbmc.exe: misc/launcher.c $(PROGRAM_PREFIX)yosys-smtbmc-script.py
 	$(P) $(CXX) -DGUI=0 -O -s -o $@ $<
diff -up yosys-0.54/backends/smt2/smtbmc.py.aaaa yosys-0.54/backends/smt2/smtbmc.py
--- yosys-0.54/backends/smt2/smtbmc.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/backends/smt2/smtbmc.py	2025-06-22 10:22:13.233429541 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 #
 # yosys -- Yosys Open SYnthesis Suite
 #
diff -up yosys-0.54/backends/smt2/witness.py.aaaa yosys-0.54/backends/smt2/witness.py
--- yosys-0.54/backends/smt2/witness.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/backends/smt2/witness.py	2025-06-22 10:22:13.234288968 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 #
 # yosys -- Yosys Open SYnthesis Suite
 #
diff -up yosys-0.54/Makefile.aaaa yosys-0.54/Makefile
--- yosys-0.54/Makefile.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/Makefile	2025-06-22 10:24:57.810806902 +0200
@@ -204,7 +204,7 @@ endif
 include Makefile.conf
 endif
 
-PYTHON_EXECUTABLE ?= $(shell if python3 -c ""; then echo "python3"; else echo "python"; fi)
+PYTHON_EXECUTABLE ?= $(shell if python3.11 -c ""; then echo "python3.11"; else echo "python"; fi)
 ifeq ($(ENABLE_PYOSYS),1)
 PYTHON_VERSION_TESTCODE := "import sys;t='{v[0]}.{v[1]}'.format(v=list(sys.version_info[:2]));print(t)"
 PYTHON_VERSION := $(shell $(PYTHON_EXECUTABLE) -c ""$(PYTHON_VERSION_TESTCODE)"")
diff -up yosys-0.54/techlibs/common/cellhelp.py.aaaa yosys-0.54/techlibs/common/cellhelp.py
--- yosys-0.54/techlibs/common/cellhelp.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/techlibs/common/cellhelp.py	2025-06-22 10:22:13.236095375 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 from __future__ import annotations
 import fileinput
diff -up yosys-0.54/techlibs/gatemate/make_lut_tree_lib.py.aaaa yosys-0.54/techlibs/gatemate/make_lut_tree_lib.py
--- yosys-0.54/techlibs/gatemate/make_lut_tree_lib.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/techlibs/gatemate/make_lut_tree_lib.py	2025-06-22 10:22:13.236479682 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 class FNode:
     def __init__(self, fun, *args):
diff -up yosys-0.54/techlibs/gowin/cells_xtra.py.aaaa yosys-0.54/techlibs/gowin/cells_xtra.py
--- yosys-0.54/techlibs/gowin/cells_xtra.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/techlibs/gowin/cells_xtra.py	2025-06-22 10:22:13.237144325 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 # Base on Nexus cells_xtra.py
 
diff -up yosys-0.54/techlibs/nexus/cells_xtra.py.aaaa yosys-0.54/techlibs/nexus/cells_xtra.py
--- yosys-0.54/techlibs/nexus/cells_xtra.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/techlibs/nexus/cells_xtra.py	2025-06-22 10:22:13.237883872 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 # Based on Xilinx cells_xtra.py; modified for Radiant's structure
 
diff -up yosys-0.54/techlibs/xilinx/cells_xtra.py.aaaa yosys-0.54/techlibs/xilinx/cells_xtra.py
--- yosys-0.54/techlibs/xilinx/cells_xtra.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/techlibs/xilinx/cells_xtra.py	2025-06-22 10:22:13.238387341 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 from argparse import ArgumentParser
 from io import StringIO
diff -up yosys-0.54/tests/arch/quicklogic/qlf_k6n10f/run-test.sh.aaaa yosys-0.54/tests/arch/quicklogic/qlf_k6n10f/run-test.sh
--- yosys-0.54/tests/arch/quicklogic/qlf_k6n10f/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/arch/quicklogic/qlf_k6n10f/run-test.sh	2025-06-22 10:22:13.238898484 +0200
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
 set -eu
-python3 mem_gen.py
+python3.11 mem_gen.py
 source ../../../gen-tests-makefile.sh
 generate_mk --yosys-scripts --bash
diff -up yosys-0.54/tests/bram/generate.py.aaaa yosys-0.54/tests/bram/generate.py
--- yosys-0.54/tests/bram/generate.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/bram/generate.py	2025-06-22 10:22:13.239268529 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 import argparse
 import os
diff -up yosys-0.54/tests/bram/run-test.sh.aaaa yosys-0.54/tests/bram/run-test.sh
--- yosys-0.54/tests/bram/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/bram/run-test.sh	2025-06-22 10:22:13.239603397 +0200
@@ -23,7 +23,7 @@ rm -rf temp
 mkdir -p temp
 
 echo "generating tests.."
-python3 generate.py $debug -c $count $seed
+python3.11 generate.py $debug -c $count $seed
 
 {
 	echo -n "all:"
diff -up yosys-0.54/tests/fsm/generate.py.aaaa yosys-0.54/tests/fsm/generate.py
--- yosys-0.54/tests/fsm/generate.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/fsm/generate.py	2025-06-22 10:22:13.239943721 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 import argparse
 import sys
diff -up yosys-0.54/tests/fsm/run-test.sh.aaaa yosys-0.54/tests/fsm/run-test.sh
--- yosys-0.54/tests/fsm/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/fsm/run-test.sh	2025-06-22 10:22:13.240247272 +0200
@@ -20,7 +20,7 @@ shift "$((OPTIND-1))"
 rm -rf temp
 mkdir -p temp
 echo "generating tests.."
-python3 generate.py -c $count $seed
+python3.11 generate.py -c $count $seed
 
 {
 	all_targets="all_targets:"
diff -up yosys-0.54/tests/memlib/run-test.sh.aaaa yosys-0.54/tests/memlib/run-test.sh
--- yosys-0.54/tests/memlib/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/memlib/run-test.sh	2025-06-22 10:22:13.240542987 +0200
@@ -11,5 +11,5 @@ do
 done
 shift "$((OPTIND-1))"
 
-python3 generate.py
+python3.11 generate.py
 exec ${MAKE:-make} -f run-test.mk SEED="$seed"
diff -up yosys-0.54/tests/opt_share/generate.py.aaaa yosys-0.54/tests/opt_share/generate.py
--- yosys-0.54/tests/opt_share/generate.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/opt_share/generate.py	2025-06-22 10:22:13.240865408 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 import argparse
 import sys
diff -up yosys-0.54/tests/opt_share/run-test.sh.aaaa yosys-0.54/tests/opt_share/run-test.sh
--- yosys-0.54/tests/opt_share/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/opt_share/run-test.sh	2025-06-22 10:22:13.241151246 +0200
@@ -20,7 +20,7 @@ shift "$((OPTIND-1))"
 rm -rf temp
 mkdir -p temp
 echo "generating tests.."
-python3 generate.py -c $count $seed
+python3.11 generate.py -c $count $seed
 
 {
 	echo ".PHONY: all"
diff -up yosys-0.54/tests/realmath/generate.py.aaaa yosys-0.54/tests/realmath/generate.py
--- yosys-0.54/tests/realmath/generate.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/realmath/generate.py	2025-06-22 10:22:13.241475647 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 import argparse
 import sys
diff -up yosys-0.54/tests/realmath/run-test.sh.aaaa yosys-0.54/tests/realmath/run-test.sh
--- yosys-0.54/tests/realmath/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/realmath/run-test.sh	2025-06-22 10:22:13.241766254 +0200
@@ -16,7 +16,7 @@ shift "$((OPTIND-1))"
 rm -rf temp
 mkdir -p temp
 echo "generating tests.."
-python3 generate.py -c $count $seed
+python3.11 generate.py -c $count $seed
 
 cd temp
 echo "running tests.."
diff -up yosys-0.54/tests/rpc/exec.ys.aaaa yosys-0.54/tests/rpc/exec.ys
--- yosys-0.54/tests/rpc/exec.ys.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/rpc/exec.ys	2025-06-22 10:22:13.242081455 +0200
@@ -1,4 +1,4 @@
-connect_rpc -exec python3 frontend.py stdio
+connect_rpc -exec python3.11 frontend.py stdio
 read_verilog design.v
 hierarchy -top top
 flatten
diff -up yosys-0.54/tests/rpc/run-test.sh.aaaa yosys-0.54/tests/rpc/run-test.sh
--- yosys-0.54/tests/rpc/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/rpc/run-test.sh	2025-06-22 10:22:13.242350279 +0200
@@ -4,4 +4,4 @@ for x in *.ys; do
   echo "Running $x.."
   ../../yosys -ql ${x%.ys}.log $x
 done
-python3 frontend.py unix-socket frontend.sock
+python3.11 frontend.py unix-socket frontend.sock
diff -up yosys-0.54/tests/share/generate.py.aaaa yosys-0.54/tests/share/generate.py
--- yosys-0.54/tests/share/generate.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/share/generate.py	2025-06-22 10:22:13.242663543 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python3.11
 
 import argparse
 import sys
diff -up yosys-0.54/tests/share/run-test.sh.aaaa yosys-0.54/tests/share/run-test.sh
--- yosys-0.54/tests/share/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/share/run-test.sh	2025-06-22 10:22:13.242973301 +0200
@@ -20,7 +20,7 @@ shift "$((OPTIND-1))"
 rm -rf temp
 mkdir -p temp
 echo "generating tests.."
-python3 generate.py -c $count $seed
+python3.11 generate.py -c $count $seed
 
 echo "running tests.."
 for i in $( ls temp/*.ys | sed 's,[^0-9],,g; s,^0*\(.\),\1,g;' ); do
diff -up yosys-0.54/tests/xprop/generate.py.aaaa yosys-0.54/tests/xprop/generate.py
--- yosys-0.54/tests/xprop/generate.py.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/xprop/generate.py	2025-06-22 10:22:13.243321501 +0200
@@ -31,7 +31,7 @@ def add_test(name, src, seq=False):
     print(f"{workdir}:", file=makefile)
     seq_arg = " -s" if seq else ""
     print(
-        f"\t@cd {workdir} && python3 -u ../test.py -S {args.seed} -c {args.count}{seq_arg} > test.log 2>&1 || echo {workdir}: failed > status\n"
+        f"\t@cd {workdir} && python3.11 -u ../test.py -S {args.seed} -c {args.count}{seq_arg} > test.log 2>&1 || echo {workdir}: failed > status\n"
         f"\t@cat {workdir}/status\n"
         f"\t@grep '^.*: ok' {workdir}/status\n"
         ,
diff -up yosys-0.54/tests/xprop/run-test.sh.aaaa yosys-0.54/tests/xprop/run-test.sh
--- yosys-0.54/tests/xprop/run-test.sh.aaaa	2025-06-09 07:23:54.000000000 +0200
+++ yosys-0.54/tests/xprop/run-test.sh	2025-06-22 10:22:13.243638421 +0200
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
 set -e
 
-python3 generate.py $@
+python3.11 generate.py $@
 ${MAKE:-make} -f run-test.mk