git: b7016da339dd - main - math/py-z3-solver: Broken on armv7

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 27 Nov 2022 05:49:25 UTC

The branch main has been updated by yuri:

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

commit b7016da339dd2f6b538a5818f81abdb2e4f552d3
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-11-27 05:48:47 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-11-27 05:49:19 +0000

    math/py-z3-solver: Broken on armv7
    
    Reported by:    fallout
---
 math/py-z3-solver/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index 9ba0bfeda3ea..481dd9980574 100644
--- 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