diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile index c77313b1ff80..ab082c2231b2 100644 --- a/cad/symbiyosys/Makefile +++ b/cad/symbiyosys/Makefile @@ -1,27 +1,27 @@ PORTNAME= symbiyosys DISTVERSIONPREFIX= yosys- -DISTVERSION= 0.36 +DISTVERSION= 0.37 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/ LICENSE= ISCL 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 .include diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo index a75b96da9de5..4884ba3296cd 100644 --- a/cad/symbiyosys/distinfo +++ b/cad/symbiyosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1704941121 -SHA256 (YosysHQ-sby-yosys-0.36_GH0.tar.gz) = 7750abfada8b70d134f4c65ce7aa2a72f514b625d6786bd77a7a9c4fa68fd418 -SIZE (YosysHQ-sby-yosys-0.36_GH0.tar.gz) = 195263 +TIMESTAMP = 1705551001 +SHA256 (YosysHQ-sby-yosys-0.37_GH0.tar.gz) = 918eb734be02f407211e7fc1f439ecedc23a5ef5531b34fc75837ab87884aee1 +SIZE (YosysHQ-sby-yosys-0.37_GH0.tar.gz) = 195275