Date: Sun, 27 Nov 2022 05:49:25 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: b7016da339dd - main - math/py-z3-solver: Broken on armv7 Message-ID: <202211270549.2AR5nPSp045189@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202211270549.2AR5nPSp045189>