git: ce9e60d6a133 - main - cad/yosys: Update 0.24 -> 0.25

The branch main has been updated by yuri:

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

commit ce9e60d6a133331ea8cbb8de7f48542ee8b85702
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-01-04 15:55:01 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-01-04 22:12:01 +0000

    cad/yosys: Update 0.24 -> 0.25
    
    Reported by:    portscout
---
 cad/yosys/Makefile                           | 15 ++++++++++++++-
 cad/yosys/distinfo                           |  6 +++---
 cad/yosys/files/patch-backends_smt2_smtio.py | 14 ++++++++++++++
 3 files changed, 31 insertions(+), 4 deletions(-)

diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
index ba0524ba92af..93b24e0cc50b 100644
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	yosys
 DISTVERSIONPREFIX=	yosys-
-DISTVERSION=	0.24
+DISTVERSION=	0.25
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -34,6 +34,19 @@ MAKE_ENV=	MAKE=${GMAKE}
 
 TEST_TARGET=	test # some tests fail, see https://github.com/YosysHQ/yosys/issues/3505
 
+OPTIONS_GROUP=		SOLVERS
+OPTIONS_GROUP_SOLVERS=	CVC5 YICES Z3
+OPTIONS_DEFAULT=	YICES # same as the default in C++ code
+
+SOLVERS_DESC=		Install SAT solvers
+CVC5_DESC=		CVC SAT Solver
+YICES_DESC=		Yices SAT Solver
+Z3_DESC=		Z3 SAT Solver
+
+CVC5_RUN_DEPENDS=	cvc5:math/cvc5
+YICES_RUN_DEPENDS=	yices_smt2:math/yices
+Z3_RUN_DEPENDS=		z3:math/z3
+
 post-patch:
 	${REINPLACE_CMD} -e '/^CXX =/d; s/^LD = .*/LD = $$(CXX)/' \
 		-e '/^CONFIG/s/clang/${CHOSEN_COMPILER_TYPE}/' \
diff --git a/cad/yosys/distinfo b/cad/yosys/distinfo
index f605e81864df..8d1f7daaed54 100644
--- a/cad/yosys/distinfo
+++ b/cad/yosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1670571827
-SHA256 (YosysHQ-yosys-yosys-0.24_GH0.tar.gz) = 6a00b60e2d6bc8df0db1e66aa27af42a0694121cfcd6a3cf6f39c9329ed91263
-SIZE (YosysHQ-yosys-yosys-0.24_GH0.tar.gz) = 2659037
+TIMESTAMP = 1672860519
+SHA256 (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 673e87eecb68fd5e889ac94b93dc9ae070f1a27d94dacbd738212cf09f39578c
+SIZE (YosysHQ-yosys-yosys-0.25_GH0.tar.gz) = 2465790
diff --git a/cad/yosys/files/patch-backends_smt2_smtio.py b/cad/yosys/files/patch-backends_smt2_smtio.py
new file mode 100644
index 000000000000..a39fc9c4fc91
--- /dev/null
+++ b/cad/yosys/files/patch-backends_smt2_smtio.py
@@ -0,0 +1,14 @@
+--- backends/smt2/smtio.py.orig	2023-01-04 19:51:15 UTC
++++ backends/smt2/smtio.py
+@@ -182,9 +182,9 @@ class SmtIo:
+                 self.noincr = True
+ 
+             if self.noincr:
+-                self.popen_vargs = ['yices-smt2'] + self.solver_opts
++                self.popen_vargs = ['yices_smt2'] + self.solver_opts
+             else:
+-                self.popen_vargs = ['yices-smt2', '--incremental'] + self.solver_opts
++                self.popen_vargs = ['yices_smt2', '--incremental'] + self.solver_opts
+             if self.timeout != 0:
+                 self.popen_vargs.append('-t')
+                 self.popen_vargs.append('%d' % self.timeout);