Date: Sun, 28 Dec 2025 08:59:31 +0000 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: 4a517a0888fd - main - security/klee: Update to 3.2 Message-ID: <6950f173.83cd.4cc86966@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=4a517a0888fd676ad40b30d42f9f50f027a9d6d7 commit 4a517a0888fd676ad40b30d42f9f50f027a9d6d7 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2025-12-28 08:52:01 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2025-12-28 08:59:26 +0000 security/klee: Update to 3.2 --- security/klee/Makefile | 4 ++-- security/klee/distinfo | 6 +++--- security/klee/files/patch-cmake_find__z3.cmake | 14 ++++++++++++++ 3 files changed, 19 insertions(+), 5 deletions(-) diff --git a/security/klee/Makefile b/security/klee/Makefile index 14943f717800..89e35f67e665 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -1,6 +1,6 @@ PORTNAME= klee DISTVERSIONPREFIX= v -DISTVERSION= 3.1 +DISTVERSION= 3.2 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org @@ -14,7 +14,7 @@ NOT_FOR_ARCHS= i386 powerpc RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} -USES= cmake compiler:c++14-lang llvm:min=12,max=16,build,run,noexport localbase \ +USES= cmake compiler:c++14-lang llvm:min=13,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 99a23c10c79a..163f546d4b48 100644 --- a/security/klee/distinfo +++ b/security/klee/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1709317649 -SHA256 (klee-klee-v3.1_GH0.tar.gz) = ae3d97209fa480ce6498ffaa7eaa7ecbbe22748c739cb7b2389391d0d9c940f7 -SIZE (klee-klee-v3.1_GH0.tar.gz) = 1058438 +TIMESTAMP = 1766906762 +SHA256 (klee-klee-v3.2_GH0.tar.gz) = 83d9b9ce0ba187e48c0e55623bf1a68b5eb61376da7ce82551c9d885715a21dd +SIZE (klee-klee-v3.2_GH0.tar.gz) = 1060556 diff --git a/security/klee/files/patch-cmake_find__z3.cmake b/security/klee/files/patch-cmake_find__z3.cmake new file mode 100644 index 000000000000..d02379dec618 --- /dev/null +++ b/security/klee/files/patch-cmake_find__z3.cmake @@ -0,0 +1,14 @@ +--- cmake/find_z3.cmake.orig 2025-12-23 15:04:53 UTC ++++ cmake/find_z3.cmake +@@ -31,11 +31,6 @@ if (ENABLE_SOLVER_Z3) + message(STATUS "Found Z3") + set(ENABLE_Z3 1) # For config.h + +- # Check the signature of `Z3_get_error_msg()` +- cmake_push_check_state() +- set(CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${Z3_INCLUDE_DIRS}) +- set(CMAKE_REQUIRED_LIBRARIES ${CMAKE_REQUIRED_LIBRARIES} ${Z3_LIBRARIES}) +- + if(CMAKE_SYSTEM_NAME STREQUAL "Darwin") + string(REPLACE ".so" ".dylib" Z3_LIBRARIES ${Z3_LIBRARIES}) + message(STATUS "New Z3 library path: ${Z3_LIBRARIES}")home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6950f173.83cd.4cc86966>