diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile index d3617414cf93..e726601dd5c0 100644 --- a/cad/symbiyosys/Makefile +++ b/cad/symbiyosys/Makefile @@ -1,26 +1,26 @@ PORTNAME= symbiyosys DISTVERSIONPREFIX= v -DISTVERSION= 0.63 +DISTVERSION= 0.65 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org COMMENT= SymbiYosys (sby): Front-end for Yosys-based formal verification flows WWW= https://yosyshq.readthedocs.io/projects/sby/en/latest/ \ https://github.com/YosysHQ/sby/ 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_ARCH= yes NO_BUILD= yes .include diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo index 3c29f16096ba..e02ffa86f397 100644 --- a/cad/symbiyosys/distinfo +++ b/cad/symbiyosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1774427385 -SHA256 (YosysHQ-sby-v0.63_GH0.tar.gz) = 96ada7fd013a2d6c7381ea75419a00d20b847ab08d56147c3aa66e0ada8ca0d7 -SIZE (YosysHQ-sby-v0.63_GH0.tar.gz) = 176919 +TIMESTAMP = 1778652631 +SHA256 (YosysHQ-sby-v0.65_GH0.tar.gz) = 84ca322a603005a612ab1c2a83864b3119e5b69d5521c1575bf2b6be127207f7 +SIZE (YosysHQ-sby-v0.65_GH0.tar.gz) = 178478 diff --git a/cad/symbiyosys/pkg-plist b/cad/symbiyosys/pkg-plist index afe72cd803e5..1905d498ed24 100644 --- a/cad/symbiyosys/pkg-plist +++ b/cad/symbiyosys/pkg-plist @@ -1,16 +1,17 @@ bin/sby share/yosys/python3/sby_autotune.py share/yosys/python3/sby_cmdline.py share/yosys/python3/sby_core.py share/yosys/python3/sby_design.py share/yosys/python3/sby_engine_abc.py share/yosys/python3/sby_engine_aiger.py share/yosys/python3/sby_engine_btor.py +share/yosys/python3/sby_engine_itp.py share/yosys/python3/sby_engine_smtbmc.py share/yosys/python3/sby_jobserver.py share/yosys/python3/sby_mode_bmc.py share/yosys/python3/sby_mode_cover.py share/yosys/python3/sby_mode_live.py share/yosys/python3/sby_mode_prove.py share/yosys/python3/sby_sim.py share/yosys/python3/sby_status.py