Date: Fri, 10 Feb 2023 09:43:27 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 56a4e7eaa848 - main - =?utf-8?Q?cad/yosys:=20Update=200.25=20=E2=86=92=200.26?= Message-ID: <202302100943.31A9hRBs016483@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=56a4e7eaa8482564e0430c1165e36b7bfd2fd675 commit 56a4e7eaa8482564e0430c1165e36b7bfd2fd675 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-02-10 08:17:29 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2023-02-10 09:43:14 +0000 cad/yosys: Update 0.25 → 0.26 Reported by: portscout --- cad/yosys/Makefile | 4 ++-- cad/yosys/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile index 93b24e0cc50b..18c208669bde 100644 --- a/cad/yosys/Makefile +++ b/cad/yosys/Makefile @@ -1,6 +1,6 @@ PORTNAME= yosys DISTVERSIONPREFIX= yosys- -DISTVERSION= 0.25 +DISTVERSION= 0.26 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org @@ -32,7 +32,7 @@ BINARY_ALIAS= python3=${PYTHON_CMD} tclsh=${TCLSH} MAKE_ARGS= ABCEXTERNAL=abc MAKE_ENV= MAKE=${GMAKE} -TEST_TARGET= test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3505 +TEST_TARGET= test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3666 OPTIONS_GROUP= SOLVERS OPTIONS_GROUP_SOLVERS= CVC5 YICES Z3 diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo index 8d1f7daaed54..3c7a868e78f8 100644 --- a/cad/yosys/distinfo +++ b/cad/yosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1672860519 -SHA256 (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 673e87eecb68fd5e889ac94b93dc9ae070f1a27d94dacbd738212cf09f39578c -SIZE (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 2465790 +TIMESTAMP = 1676004531 +SHA256 (YosysHQ-yosys-yosys-0.26_GH0.tar.gz) = e869e3770797f7edf352fd3033d5bba8606d40d6b32bae5051d917d120b9a177 +SIZE (YosysHQ-yosys-yosys-0.26_GH0.tar.gz) = 2501489
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202302100943.31A9hRBs016483>