Date: Sat, 17 Dec 2022 17:19:02 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: 8c772d8e053e - main - security/klee: Switch to LLVM 13. Message-ID: <202212171719.2BHHJ2pa001638@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=8c772d8e053eaca59a6095013d31e30959d13b38 commit 8c772d8e053eaca59a6095013d31e30959d13b38 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2022-12-17 17:18:10 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2022-12-17 17:18:31 +0000 security/klee: Switch to LLVM 13. PR: 263456 --- security/klee/Makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/security/klee/Makefile b/security/klee/Makefile index a0b706ff2063..cd01afd84526 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -1,7 +1,7 @@ PORTNAME= klee DISTVERSIONPREFIX= v DISTVERSION= 2.3 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org @@ -13,10 +13,10 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.TXT NOT_FOR_ARCHS= i386 -BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ +BUILD_DEPENDS= llvm-config13:devel/llvm13 \ gmake:devel/gmake # Should be a LIB_DEPEND, but hard to express in a generic manner -RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ +RUN_DEPENDS= llvm-config13:devel/llvm13 \ ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} USES= cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run \ @@ -26,10 +26,9 @@ 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${LLVM_DEFAULT} \ +CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config13 \ -DMAKE_BINARY=${LOCALBASE}/bin/gmake -# TODO METASMT OPTIONS_DEFINE= TCMALLOC OPTIONS_DEFAULT= TCMALLOC Z3 STP OPTIONS_MULTI= BACKEND
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202212171719.2BHHJ2pa001638>