GNU bug report logs - #71925
[PATCH 0/2] Add klee-uclibc.

Previous Next

Package: guix-patches;

Reported by: soeren <at> soeren-tempel.net

Date: Wed, 3 Jul 2024 19:07:02 UTC

Severity: normal

Tags: patch

Done: Sören Tempel <soeren <at> soeren-tempel.net>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: soeren <at> soeren-tempel.net
To: 71925 <at> debbugs.gnu.org
Cc: julien <at> lepiller.eu, liliana.prikler <at> gmail.com
Subject: [bug#71925] [PATCH 0/2] Add klee-uclibc.
Date: Wed,  3 Jul 2024 21:03:58 +0200

From: Sören Tempel <soeren <at> soeren-tempel.net>

As requested by Liliana Marie Prikler in #68296, this patchset readds
support for KLEE uclibc based on the new version of the KLEE package
merged via #71634.

Sören Tempel (2):
  gnu: Add klee-uclibc.
  gnu: klee: Build with klee-uclibc support.

 gnu/packages/check.scm | 75 ++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 73 insertions(+), 2 deletions(-)


base-commit: bab73e413b3421f4aa051e9438d147040a52e1be
This bug report was last modified 185 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.