Date: Fri, 1 Mar 2024 19:27:51 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: 954bfd4d4cfd - main - security/klee: Update to 3.1 Message-ID: <202403011927.421JRphv065704@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=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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202403011927.421JRphv065704>