git: 58822304ccdc - main - math/z3: Mark BROKEN on i386.

From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Tue, 07 Mar 2023 16:28:36 UTC 
The branch main has been updated by arrowd:

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

commit 58822304ccdc16932892cb195b34c62809f8e763
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2023-03-07 16:28:05 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2023-03-07 16:28:32 +0000

    math/z3: Mark BROKEN on i386.
    
    Reported by:    pkg-fallout
---
 math/z3/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/z3/Makefile b/math/z3/Makefile
index 8f0ea09c0f9e..5d04402bdd29 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -10,6 +10,8 @@ WWW=		https://github.com/Z3Prover/z3
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
+BROKEN_i386=	internal linker error: wrote incorrect addend value 0x2042E5B instead of 0x0 for dynamic relocation R_386_32 at offset 0x813397 against symbol __gxx_personality_v0
+
 USES=		compiler:c++11-lang python:build
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover