git: 8bf5245b66fd - main - math/py-z3-solver: Mark BROKEN

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

From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Wed, 18 Sep 2024 19:15:11 UTC

The branch main has been updated by arrowd:

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

commit 8bf5245b66fd35846faa3a5662bd37bc5ada46ea
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2024-09-18 19:14:49 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-09-18 19:14:49 +0000

    math/py-z3-solver: Mark BROKEN
    
    PR:             280689
---
 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 1e0b97beb8c2..ba11090e2ea5 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -12,6 +12,7 @@ WWW=		https://github.com/Z3Prover/z3
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt
 
+BROKEN=		Could not find libz3.so
 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