diff options
Diffstat (limited to 'math/py-z3-solver/Makefile')
| -rw-r--r-- | math/py-z3-solver/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 846b2a1d1877..35c5a153dff6 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -15,9 +15,7 @@ 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 - -USES= compiler:c++11-lang python +USES= cmake:indirect compiler:c++11-lang python USE_PYTHON= distutils autoplist USE_GITHUB= yes |