git: 23b2759af230 - main - math/py-z3-solver: Re-enable on i386; Broken on riscv64

The branch main has been updated by yuri:

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

commit 23b2759af2303419f7c60bca8330f4d99a61c172
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-07-21 19:47:18 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-07-21 19:47:18 +0000

    math/py-z3-solver: Re-enable on i386; Broken on riscv64
---
 math/py-z3-solver/Makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index 3426ee6af08a..f900b3ea09b4 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -10,12 +10,7 @@ COMMENT=	Python binding for Z3 Theorem Prover
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt
 
-CFLAGS_armv7=	-fPIC
-CFLAGS_powerpc=	-fPIC
-
-BROKEN_i386=	can't create dynamic relocation R_386_32 against symbol: .L.str in readonly segment; see https://github.com/Z3Prover/z3/issues/2442
-
-# CAVEAT: There should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
+BROKEN_riscv64=	fails to configure, see https://github.com/Z3Prover/z3/issues/6183
 
 BUILD_DEPENDS=	cmake:devel/cmake
 
@@ -26,8 +21,13 @@ USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover
 GH_PROJECT=	z3
 
+CFLAGS_armv7=	-fPIC
+CFLAGS_powerpc=	-fPIC
+
 WRKSRC_SUBDIR=	src/api/python
 
+# CAVEAT: There should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
+
 post-patch: # https://github.com/Z3Prover/z3/issues/2131
 	@${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h