git: fabe0a56ad5b - main - security/klee: Properly pick up LLVM version and remove gmake dependency
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 16 Jun 2025 18:29:37 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=fabe0a56ad5b000b01590532c0dc9e6e7fa8d569
commit fabe0a56ad5b000b01590532c0dc9e6e7fa8d569
Author: Chad Jacob Milios <milios@ccsys.com>
AuthorDate: 2025-06-16 18:28:48 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2025-06-16 18:29:31 +0000
security/klee: Properly pick up LLVM version and remove gmake dependency
PR: 287590
---
security/klee/Makefile | 4 +---
1 file changed, 1 insertion(+), 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