From 43d9a1336ddec3ddb059a4c78b33888272692c36 Mon Sep 17 00:00:00 2001 From: Max Brazhnikov Date: Thu, 11 Apr 2024 12:14:35 +0300 Subject: */*: convert to cmake:indirect Convert bunch of ports to USES=cmake:indirect --- math/py-z3-solver/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'math') 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 -- cgit v1.2.3