Date: Mon, 16 Jun 2025 18:29:37 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: fabe0a56ad5b - main - security/klee: Properly pick up LLVM version and remove gmake dependency Message-ID: <202506161829.55GITb21017508@gitrepo.freebsd.org>
index | next in thread | raw e-mail
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 STPhelp
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202506161829.55GITb21017508>