1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-11 02:50:24 +00:00

security/klee: Update to 2.2

This commit is contained in:
Gleb Popov 2020-12-09 14:47:43 +00:00
parent bd74bb6dab
commit b6f2754c19
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=557375
3 changed files with 56 additions and 11 deletions

View File

@ -2,8 +2,7 @@
PORTNAME= klee
DISTVERSIONPREFIX= v
DISTVERSION= 2.1
PORTREVISION= 1
DISTVERSION= 2.2
CATEGORIES= security devel
MAINTAINER= arrowd@FreeBSD.org
@ -21,7 +20,7 @@ RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \
USES= cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run \
shebangfix sqlite
USE_GITHUB= yes
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti
USE_LDCONFIG= yes
CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS
@ -43,7 +42,7 @@ Z3_RUN_DEPENDS= z3:math/z3
STP_DESC= Enable STP SMT solver
STP_CMAKE_BOOL= ENABLE_SOLVER_STP
STP_BUILD_DEPENDS= stp>0:math/stp
STP_LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat
STP_LIB_DEPENDS= libstp.so:math/stp \
libcryptominisat5.so:math/cryptominisat
.include <bsd.port.mk>

View File

@ -1,3 +1,3 @@
TIMESTAMP = 1583304181
SHA256 (klee-klee-v2.1_GH0.tar.gz) = bb3db767a159b42611e56367480a1fbfb12783c8920902d57a2b26422036a8fe
SIZE (klee-klee-v2.1_GH0.tar.gz) = 1038275
TIMESTAMP = 1607522464
SHA256 (klee-klee-v2.2_GH0.tar.gz) = 1ff2e37ed3128e005b89920fad7bcf98c7792a11a589dd443186658f5eb91362
SIZE (klee-klee-v2.2_GH0.tar.gz) = 1073138

View File

@ -4,10 +4,56 @@ bin/kleaver
bin/klee
bin/klee-replay
bin/klee-stats
bin/klee-zesti
bin/ktest-tool
include/klee/klee.h
lib/klee/runtime/libklee-libc.bca
lib/klee/runtime/libkleeRuntimeFreeStanding.bca
lib/klee/runtime/libkleeRuntimeIntrinsic.bca
lib/klee/runtime/libkleeRuntimeFortify32_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFortify32_Debug.bca
lib/klee/runtime/libkleeRuntimeFortify32_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeFortify32_Release.bca
lib/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFortify64_Debug.bca
lib/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeFortify64_Release.bca
lib/klee/runtime/libkleeRuntimeFreestanding32_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFreestanding32_Debug.bca
lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeFreestanding32_Release.bca
lib/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca
lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeFreestanding64_Release.bca
lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug.bca
lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeIntrinsic32_Release.bca
lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca
lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca
lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug.bca
lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeKLEELibc32_Release.bca
lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca
lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca
lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca
lib/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca
lib/libkleeRuntest.so
lib/libkleeRuntest.so.1.0