git: 56a4e7eaa848 - main - cad/yosys: Update 0.25 → 0.26

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=56a4e7eaa8482564e0430c1165e36b7bfd2fd675

commit 56a4e7eaa8482564e0430c1165e36b7bfd2fd675
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-02-10 08:17:29 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-02-10 09:43:14 +0000

    cad/yosys: Update 0.25 → 0.26
    
    Reported by:    portscout
---
 cad/yosys/Makefile | 4 ++--
 cad/yosys/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
index 93b24e0cc50b..18c208669bde 100644
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	yosys
 DISTVERSIONPREFIX=	yosys-
-DISTVERSION=	0.25
+DISTVERSION=	0.26
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -32,7 +32,7 @@ BINARY_ALIAS=	python3=${PYTHON_CMD} tclsh=${TCLSH}
 MAKE_ARGS=	ABCEXTERNAL=abc
 MAKE_ENV=	MAKE=${GMAKE}
 
-TEST_TARGET=	test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3505
+TEST_TARGET=	test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3666
 
 OPTIONS_GROUP=		SOLVERS
 OPTIONS_GROUP_SOLVERS=	CVC5 YICES Z3
diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo
index 8d1f7daaed54..3c7a868e78f8 100644
--- a/cad/yosys/distinfo
+++ b/cad/yosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1672860519
-SHA256 (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 673e87eecb68fd5e889ac94b93dc9ae070f1a27d94dacbd738212cf09f39578c
-SIZE (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 2465790
+TIMESTAMP = 1676004531
+SHA256 (YosysHQ-yosys-yosys-0.26_GH0.tar.gz) = e869e3770797f7edf352fd3033d5bba8606d40d6b32bae5051d917d120b9a177
+SIZE (YosysHQ-yosys-yosys-0.26_GH0.tar.gz) = 2501489