diff options
| author | Max Brazhnikov <makc@FreeBSD.org> | 2024-04-11 12:14:35 +0300 |
|---|---|---|
| committer | Max Brazhnikov <makc@FreeBSD.org> | 2024-04-11 12:16:53 +0300 |
| commit | 43d9a1336ddec3ddb059a4c78b33888272692c36 (patch) | |
| tree | 7b371f1698d5f64d7badacb4fe8b900167d34585 /math | |
| parent | devel/spyder: update 5.5.3 → 5.5.4 (diff) | |
*/*: convert to cmake:indirect
Convert bunch of ports to USES=cmake:indirect
Diffstat (limited to 'math')
| -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 |