git: 23136c0ed865 - main - labg/solidity: update to 0.8.17 and fix build on i386

The branch main has been updated by ale:

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

commit 23136c0ed8656fbefbb4289390cec8144e90bd97
Author:     Alex Dupre <ale@FreeBSD.org>
AuthorDate: 2022-09-09 10:52:25 +0000
Commit:     Alex Dupre <ale@FreeBSD.org>
CommitDate: 2022-09-09 10:53:53 +0000

    labg/solidity: update to 0.8.17 and fix build on i386
---
 lang/solidity/Makefile | 3 ++-
 lang/solidity/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile
index f071e8960985..e9b571eba936 100644
--- a/lang/solidity/Makefile
+++ b/lang/solidity/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	solidity
-PORTVERSION=	0.8.16
+PORTVERSION=	0.8.17
 CATEGORIES=	lang
 MASTER_SITES=	https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/
 DISTNAME=	${PORTNAME}_${PORTVERSION}
@@ -23,6 +23,7 @@ CPE_VENDOR=	${PORTNAME}lang
 
 OPTIONS_DEFINE=	Z3 CVC4
 OPTIONS_DEFAULT=Z3 CVC4
+OPTIONS_EXCLUDE_i386=	Z3
 Z3_DESC=	SMT Checker via Z3
 CVC4_DESC=	SMT Checker via CVC4
 Z3_LIB_DEPENDS=		libz3.so:math/z3
diff --git a/lang/solidity/distinfo b/lang/solidity/distinfo
index 1d03dd7fd566..33967dffbf87 100644
--- a/lang/solidity/distinfo
+++ b/lang/solidity/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1660400500
-SHA256 (solidity_0.8.16.tar.gz) = ba1a690a3583f17c039e6d480970f687f959d9c0fcb2e77ac72a0a0c7efa2056
-SIZE (solidity_0.8.16.tar.gz) = 3261000
+TIMESTAMP = 1662704814
+SHA256 (solidity_0.8.17.tar.gz) = b0337ab0125be7e54461ab76b6e483f5e912d3f3e4b0c89bd00cfb0a3d6a5afd
+SIZE (solidity_0.8.17.tar.gz) = 3119267