math/py-z3-solver: Broken on armv7

Reported by: fallout
freebsd · Nov 27, 2022 · b7016da · b7016da
1 parent 610b2e2
commit b7016da
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
@@ -11,6 +11,7 @@ WWW=		https://github.com/Z3Prover/z3
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt
 
+BROKEN_armv7=	fails to compile on 13.1 and 14: clang crashes, see https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=268009
 BROKEN_riscv64=	fails to configure, see https://github.com/Z3Prover/z3/issues/6183
 
 BUILD_DEPENDS=	cmake:devel/cmake-core