git: 81a0be6517bb - main - cad/symbiyosys: Update 0.52 => 0.57

From: Älven <alven_at_FreeBSD.org>
Date: Tue, 23 Sep 2025 19:38:38 UTC 
The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=81a0be6517bb7d18bdf19a96ce2036f1ea3b2c91

commit 81a0be6517bb7d18bdf19a96ce2036f1ea3b2c91
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-09-22 14:35:30 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-09-23 19:38:11 +0000

    cad/symbiyosys: Update 0.52 => 0.57
    
    Changelogs:
    * https://github.com/YosysHQ/sby/compare/v0.52...v0.57
    
    * Add WWW for source code repository
    * Pet portclippy(1) and portfmt(1)
    
    Approved by:    yuri@ (Mentor)
    
    Differential Revision: https://reviews.freebsd.org/D52677
---
 cad/symbiyosys/Makefile | 9 ++++-----
 cad/symbiyosys/distinfo | 6 +++---
 2 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile
index a0a559e75d97..5aedec8afe12 100644
--- a/cad/symbiyosys/Makefile
+++ b/cad/symbiyosys/Makefile
@@ -1,12 +1,12 @@
 PORTNAME=	symbiyosys
 DISTVERSIONPREFIX=	v
-DISTVERSION=	0.52
+DISTVERSION=	0.57
 CATEGORIES=	cad
-PKGNAMEPREFIX=
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SymbiYosys (sby): Front-end for Yosys-based formal verification flows
-WWW=		https://yosyshq.readthedocs.io/projects/sby/en/latest/
+WWW=		https://yosyshq.readthedocs.io/projects/sby/en/latest/ \
+		https://github.com/YosysHQ/sby/
 
 LICENSE=	ISCL
 LICENSE_FILE=	${WRKSRC}/COPYING
@@ -14,14 +14,13 @@ LICENSE_FILE=	${WRKSRC}/COPYING
 RUN_DEPENDS=	yosys:cad/yosys
 
 USES=		gmake python shebangfix
-
 USE_GITHUB=	yes
 GH_ACCOUNT=	YosysHQ
 GH_PROJECT=	sby
 
 SHEBANG_FILES=	sbysrc/sby.py
 
-NO_BUILD=	yes
 NO_ARCH=	yes
+NO_BUILD=	yes
 
 .include <bsd.port.mk>
diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo
index bcb478f818fd..c08c468b9acb 100644
--- a/cad/symbiyosys/distinfo
+++ b/cad/symbiyosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1745825818
-SHA256 (YosysHQ-sby-v0.52_GH0.tar.gz) = 8c14bcd6130a8db94764abc650046bf9986a4a5bbea662a03481ba546b6df5e0
-SIZE (YosysHQ-sby-v0.52_GH0.tar.gz) = 161606
+TIMESTAMP = 1758543307
+SHA256 (YosysHQ-sby-v0.57_GH0.tar.gz) = 96a5e2dbebb849a815798dade3597c9fa10d37ec2e860dfabf2fb7ba8c004afc
+SIZE (YosysHQ-sby-v0.57_GH0.tar.gz) = 173398