git: 954bfd4d4cfd - main - security/klee: Update to 3.1

The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=954bfd4d4cfd94b62f5e18560e2c0510784feeda

commit 954bfd4d4cfd94b62f5e18560e2c0510784feeda
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2024-03-01 19:21:39 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-01 19:26:53 +0000

    security/klee: Update to 3.1
---
 security/klee/Makefile  | 4 ++--
 security/klee/distinfo  | 6 +++---
 security/klee/pkg-plist | 1 +
 3 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/security/klee/Makefile b/security/klee/Makefile
index b1a17fc9c3ee..a759d3585714 100644
--- a/security/klee/Makefile
+++ b/security/klee/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	klee
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.0
+DISTVERSION=	3.1
 CATEGORIES=	security devel
 
 MAINTAINER=	arrowd@FreeBSD.org
@@ -15,7 +15,7 @@ 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=11,max=14,build,run,noexport localbase \
+USES=		cmake compiler:c++14-lang llvm:min=12,max=16,build,run,noexport localbase \
 		pkgconfig python:run shebangfix sqlite
 USE_GITHUB=	yes
 SHEBANG_FILES=	tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti
diff --git a/security/klee/distinfo b/security/klee/distinfo
index 1bfb45051339..99a23c10c79a 100644
--- a/security/klee/distinfo
+++ b/security/klee/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1687273109
-SHA256 (klee-klee-v3.0_GH0.tar.gz) = 204ebf0cb739886f574b1190b04fa9ed9088770c0634984782e9633d1aa4bdc9
-SIZE (klee-klee-v3.0_GH0.tar.gz) = 1042635
+TIMESTAMP = 1709317649
+SHA256 (klee-klee-v3.1_GH0.tar.gz) = ae3d97209fa480ce6498ffaa7eaa7ecbbe22748c739cb7b2389391d0d9c940f7
+SIZE (klee-klee-v3.1_GH0.tar.gz) = 1058438
diff --git a/security/klee/pkg-plist b/security/klee/pkg-plist
index e1d62ea8df7b..474f8af9e078 100644
--- a/security/klee/pkg-plist
+++ b/security/klee/pkg-plist
@@ -1,5 +1,6 @@
 bin/kleaver
 bin/klee
+bin/klee-exec-tree
 bin/klee-replay
 bin/klee-stats
 bin/klee-zesti