git: 6ecfc25ff4e0 - main - cad/yosys: Update 0.57 => 0.58

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=6ecfc25ff4e0bb186526d0dea09485aa798bd8f7

commit 6ecfc25ff4e0bb186526d0dea09485aa798bd8f7
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-10-10 03:05:27 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-10-10 21:43:22 +0000

    cad/yosys: Update 0.57 => 0.58
    
    Changelogs:
    * https://github.com/YosysHQ/yosys/blob/main/CHANGELOG
    * https://github.com/YosysHQ/yosys/compare/v0.57...v0.58
    
    Approved by:            yuri@ (maintainer, Mentor)
    Differential Revision:  https://reviews.freebsd.org/D53007
---
 cad/qflow/Makefile               | 2 +-
 cad/yosys-ghdl-plugin/Makefile   | 2 +-
 cad/yosys-systemverilog/Makefile | 1 +
 cad/yosys/Makefile               | 3 +--
 cad/yosys/distinfo               | 6 +++---
 cad/yosys/pkg-plist              | 1 +
 6 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/cad/qflow/Makefile b/cad/qflow/Makefile
index 9daae293d539..862809933486 100644
--- a/cad/qflow/Makefile
+++ b/cad/qflow/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	qflow
 DISTVERSION=	1.4.104
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/cad/yosys-ghdl-plugin/Makefile b/cad/yosys-ghdl-plugin/Makefile
index 09e12b0faddc..ec7db547db7d 100644
--- a/cad/yosys-ghdl-plugin/Makefile
+++ b/cad/yosys-ghdl-plugin/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	yosys-ghdl-plugin
 PORTVERSION=	g20230930
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	cad
 
 MAINTAINER=	nsonack@herrhotzenplotz.de
diff --git a/cad/yosys-systemverilog/Makefile b/cad/yosys-systemverilog/Makefile
index f7b6e2d8c631..a65978527163 100644
--- a/cad/yosys-systemverilog/Makefile
+++ b/cad/yosys-systemverilog/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	yosys-systemverilog
 DISTVERSION=	2023-06-14
+PORTREVISION=	1
 CATEGORIES=	cad
 PKGNAMEPREFIX=
 
diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
index 86cd51a7c09e..54f6353321ee 100644
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	yosys
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.57
-PORTREVISION=	1
+DISTVERSION=	0.58
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo
index ae67452bc345..38209db4e411 100644
--- a/cad/yosys/distinfo
+++ b/cad/yosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1758465843
-SHA256 (YosysHQ-yosys-v0.57_GH0.tar.gz) = 29ea02cb28e46f834769492176eb003c0f72245f21a3e7580aece7df06c05687
-SIZE (YosysHQ-yosys-v0.57_GH0.tar.gz) = 3399252
+TIMESTAMP = 1760017745
+SHA256 (YosysHQ-yosys-v0.58_GH0.tar.gz) = e2b8cba71da7be9009175691dade2ee98072f542e456a92d53a4f1a1bad05bd5
+SIZE (YosysHQ-yosys-v0.58_GH0.tar.gz) = 3427401
diff --git a/cad/yosys/pkg-plist b/cad/yosys/pkg-plist
index 6bb02a5f2904..213697c05be5 100644
--- a/cad/yosys/pkg-plist
+++ b/cad/yosys/pkg-plist
@@ -141,6 +141,7 @@ bin/yosys-witness
 %%DATADIR%%/include/kernel/scopeinfo.h
 %%DATADIR%%/include/kernel/sexpr.h
 %%DATADIR%%/include/kernel/sigtools.h
+%%DATADIR%%/include/kernel/threading.h
 %%DATADIR%%/include/kernel/timinginfo.h
 %%DATADIR%%/include/kernel/utils.h
 %%DATADIR%%/include/kernel/yosys.h