D52677.diff
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

D52677.diff
View Options

	diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile
	--- 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 @@
	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
	--- 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