git: 8c772d8e053e - main - security/klee: Switch to LLVM 13.

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