Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:aaronpuchert:Backports:SLE-15
klee
0007-Use-KLEE-s-uClibc-v1.4-as-default-to-suppo...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch of Package klee
From: Martin Nowack <m.nowack@imperial.ac.uk> Date: Sun, 29 Oct 2023 20:38:55 +0000 Subject: Use KLEE's uClibc v1.4 as default to support the compilation with newer compilers Patch-mainline: no References: llvm16 Signed-off-by: Jiri Slaby <jslaby@suse.cz> --- .github/workflows/build.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 96122bcb..fa924a37 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -24,7 +24,7 @@ env: SOLVERS: STP:Z3 STP_VERSION: 2.3.3 TCMALLOC_VERSION: 2.9.1 - UCLIBC_VERSION: klee_uclibc_v1.3 + UCLIBC_VERSION: klee_uclibc_v1.4 USE_TCMALLOC: 1 USE_LIBCXX: 1 Z3_VERSION: 4.8.15 -- 2.43.0
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
