mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-16 07:58:04 +00:00
Code Issues Releases Activity

security/klee: Update to 3.1

Browse Source
This commit is contained in:
Gleb Popov 2024-03-01 22:21:39 +03:00
parent e8fc6e46aa
commit 954bfd4d4c
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
security/klee/Makefile
View File

@ -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

6
security/klee/distinfo
View File

@ -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

1
security/klee/pkg-plist
View File

@ -1,5 +1,6 @@
bin/kleaver
bin/klee
bin/klee-exec-tree
bin/klee-replay
bin/klee-stats
bin/klee-zesti