File yosys-use-gcc13.patch of Package yosys

diff -up yosys-0.53/Makefile.aaaa yosys-0.53/Makefile
--- yosys-0.53/Makefile.aaaa	2025-05-22 18:49:36.785001962 +0200
+++ yosys-0.53/Makefile	2025-05-22 18:49:36.798160600 +0200
@@ -262,7 +262,7 @@ endif
 endif
 
 else ifeq ($(CONFIG),gcc)
-CXX = g++
+CXX = g++-13
 CXXFLAGS += -std=$(CXXSTD) $(OPT_LEVEL)
 ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H $(ABC_ARCHFLAGS)"
 
diff -up yosys-0.53/tests/cxxrtl/run-test.sh.aaaa yosys-0.53/tests/cxxrtl/run-test.sh
--- yosys-0.53/tests/cxxrtl/run-test.sh.aaaa	2025-05-06 07:45:16.000000000 +0200
+++ yosys-0.53/tests/cxxrtl/run-test.sh	2025-05-22 18:54:29.889049122 +0200
@@ -5,7 +5,7 @@ set -ex
 run_subtest () {
     local subtest=$1; shift
 
-    ${CC:-gcc} -std=c++11 -O2 -o cxxrtl-test-${subtest} -I../../backends/cxxrtl/runtime test_${subtest}.cc -lstdc++
+    gcc-13 -std=c++11 -O2 -o cxxrtl-test-${subtest} -I../../backends/cxxrtl/runtime test_${subtest}.cc -lstdc++
     ./cxxrtl-test-${subtest}
 }
 
@@ -14,4 +14,4 @@ run_subtest value_fuzz
 
 # Compile-only test.
 ../../yosys -p "read_verilog test_unconnected_output.v; select =*; proc; clean; write_cxxrtl cxxrtl-test-unconnected_output.cc"
-${CC:-gcc} -std=c++11 -c -o cxxrtl-test-unconnected_output -I../../backends/cxxrtl/runtime cxxrtl-test-unconnected_output.cc
+gcc-13 -std=c++11 -c -o cxxrtl-test-unconnected_output -I../../backends/cxxrtl/runtime cxxrtl-test-unconnected_output.cc
diff -up yosys-0.53/tests/fmt/run-test.sh.aaaa yosys-0.53/tests/fmt/run-test.sh
--- yosys-0.53/tests/fmt/run-test.sh.aaaa	2025-05-06 07:45:16.000000000 +0200
+++ yosys-0.53/tests/fmt/run-test.sh	2025-05-22 18:49:36.800345717 +0200
@@ -51,7 +51,7 @@ test_cxxrtl () {
 	local subtest=$1; shift
 
 	../../yosys -p "read_verilog ${subtest}.v; proc; clean; write_cxxrtl -print-output std::cerr yosys-${subtest}.cc"
-	${CC:-gcc} -std=c++11 -o yosys-${subtest} -I../../backends/cxxrtl/runtime ${subtest}_tb.cc -lstdc++
+	gcc-13 -std=c++11 -o yosys-${subtest} -I../../backends/cxxrtl/runtime ${subtest}_tb.cc -lstdc++
 	./yosys-${subtest} 2>yosys-${subtest}.log
 	iverilog -o iverilog-${subtest} ${subtest}.v ${subtest}_tb.v
 	./iverilog-${subtest} |grep -v '\$finish called' >iverilog-${subtest}.log
@@ -69,7 +69,7 @@ diff iverilog-always_full.log iverilog-a
 
 ../../yosys -p "read_verilog display_lm.v" >yosys-display_lm.log
 ../../yosys -p "read_verilog display_lm.v; write_cxxrtl yosys-display_lm.cc"
-${CC:-gcc} -std=c++11 -o yosys-display_lm_cc -I../../backends/cxxrtl/runtime display_lm_tb.cc -lstdc++
+gcc-13 -std=c++11 -o yosys-display_lm_cc -I../../backends/cxxrtl/runtime display_lm_tb.cc -lstdc++
 ./yosys-display_lm_cc >yosys-display_lm_cc.log
 for log in yosys-display_lm.log yosys-display_lm_cc.log; do
 	grep "^%l: \\\\bot\$" "$log"