diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2026-02-24 23:34:13 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2026-02-24 18:18:02 +0000 |
| commit | c37ec7b0d6b02358950fdfa03e71b0efcb8854d4 (patch) | |
| tree | 2ab71468179c7c27f118546a4db7f13b7f7e2aa3 /gnu | |
| parent | a15b2991eb67f7937e746999f67de6df4217202c (diff) | |
gnu: klee: Update to 3.2.
This is the first release to recommend LLVM 16.
* gnu/packages/check.scm (klee): Update to 3.2.
[native-inputs]: Switch from LLVM 13 to LLVM 16.
Merges: https://codeberg.org/guix/guix/pulls/6677
Change-Id: I4e70e6ff16cf203d74f2c6bad75200619820aff3
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/check.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 1760e286133..25c165d81b6 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1332,7 +1332,7 @@ with the @code{klee} package.") (define-public klee (package (name "klee") - (version "3.1") + (version "3.2") (source (origin (method git-fetch) @@ -1341,7 +1341,7 @@ with the @code{klee} package.") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6")))) + (base32 "0rvvdbv0c6b2jhsdxhzcbm0smzndd4ibsg1bxwjw0mwkpk21yfph")))) (arguments (list #:strip-directories #~(list "bin") ;don't strip LLVM bitcode in /lib @@ -1392,7 +1392,7 @@ with the @code{klee} package.") (string-append "-DKLEE_UCLIBC_PATH=" (search-input-file %build-inputs "/lib/klee/libc.a")) "-DENABLE_POSIX_RUNTIME=ON"))) - (native-inputs (list clang-13 llvm-13 python-lit)) + (native-inputs (list clang-16 llvm-16 python-lit)) (inputs (list bash-minimal klee-uclibc gperftools sqlite z3 python python-tabulate)) (build-system cmake-build-system) (supported-systems '("x86_64-linux")) |