diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2022-11-27 05:48:47 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2022-11-27 05:49:19 +0000 |
| commit | b7016da339dd2f6b538a5818f81abdb2e4f552d3 (patch) | |
| tree | 4d5c5d403dd290056be38c009cb776f3c81afdde /math | |
| parent | 610b2e2dfd458d17faa81f319317a27ca2800eac (diff) | |
| download | ports-b7016da339dd2f6b538a5818f81abdb2e4f552d3.tar.gz ports-b7016da339dd2f6b538a5818f81abdb2e4f552d3.zip | |
math/py-z3-solver: Broken on armv7
Reported by: fallout
Diffstat (limited to 'math')
| -rw-r--r-- | math/py-z3-solver/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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 |