math/z3: Mark BROKEN on i386

Reported by: pkg-fallout
2024-02-27 17:45:54 +03:00 · 2024-02-27 17:45:54 +03:00 · 43251ef42e
parent ba22698a84
commit 43251ef42e
1 changed files with 2 additions and 0 deletions
--- 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=	unknown flag -msimd128
+
 USES=		compiler:c++11-lang python:build
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover