diff options
author | Chad Jacob Milios <milios@ccsys.com> | 2025-06-16 18:28:48 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2025-06-16 18:29:31 +0000 |
commit | fabe0a56ad5b000b01590532c0dc9e6e7fa8d569 (patch) | |
tree | 4f6e7a0e1c94b76cd0bf45f0f8da2f11061a1d08 | |
parent | 68ebb371daa317bc18cb51b759497955f3ffc830 (diff) |
PR: 287590
-rw-r--r-- | security/klee/Makefile | 4 |
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 |