aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChad Jacob Milios <milios@ccsys.com>2025-06-16 18:28:48 +0000
committerGleb Popov <arrowd@FreeBSD.org>2025-06-16 18:29:31 +0000
commitfabe0a56ad5b000b01590532c0dc9e6e7fa8d569 (patch)
tree4f6e7a0e1c94b76cd0bf45f0f8da2f11061a1d08
parent68ebb371daa317bc18cb51b759497955f3ffc830 (diff)
security/klee: Properly pick up LLVM version and remove gmake dependencyHEADmain
PR: 287590
-rw-r--r--security/klee/Makefile4
1 files changed, 1 insertions, 3 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile
index c6e9456f0734..14943f717800 100644
--- a/security/klee/Makefile
+++ b/security/klee/Makefile
@@ -12,7 +12,6 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.TXT
NOT_FOR_ARCHS= i386 powerpc
-BUILD_DEPENDS= gmake:devel/gmake
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
USES= cmake compiler:c++14-lang llvm:min=12,max=16,build,run,noexport localbase \
@@ -22,8 +21,7 @@ SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/kle
USE_LDCONFIG= yes
CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS
-CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/${LLVM_CONFIG} \
- -DMAKE_BINARY=${GMAKE}
+CMAKE_ARGS= -DLLVM_DIR=${LLVM_PREFIX}/lib/cmake/llvm
OPTIONS_DEFINE= TCMALLOC
OPTIONS_DEFAULT= TCMALLOC Z3 STP