git: 08807ad9500c - main - security/klee: Switch to USES=llvm.

The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=08807ad9500c84b2577b39dadf7a103eae27d73c

commit 08807ad9500c84b2577b39dadf7a103eae27d73c
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2022-12-18 08:47:29 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2022-12-18 08:47:29 +0000

    security/klee: Switch to USES=llvm.
---
 security/klee/Makefile | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/security/klee/Makefile b/security/klee/Makefile
index cd01afd84526..5eaef3131b07 100644
--- a/security/klee/Makefile
+++ b/security/klee/Makefile
@@ -13,14 +13,11 @@ LICENSE_FILE=	${WRKSRC}/LICENSE.TXT
 
 NOT_FOR_ARCHS=	i386
 
-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-config13:devel/llvm13 \
-		${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
-
-USES=		cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run \
-		shebangfix sqlite
+BUILD_DEPENDS=	gmake:devel/gmake
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
+
+USES=		cmake compiler:c++14-lang llvm:min=9,max=13,build,run localbase \
+		pkgconfig python:3.5+,run shebangfix sqlite
 USE_GITHUB=	yes
 SHEBANG_FILES=	tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti
 USE_LDCONFIG=	yes