Skip to content
Snippets Groups Projects
Commit 8bf5245b authored by Gleb Popov's avatar Gleb Popov
Browse files

math/py-z3-solver: Mark BROKEN

PR:		280689
parent edc44d21
Branches
Tags
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment