me
/
guix
Archived
1
0
Fork 0
This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.
guix/gnu
Sören Tempel 842517477b
gnu: klee: Only strip bin directory.
This avoid several warnings to be emitted by strip(1) when attempting
to strip .bca (i.e. LLVM bitcode) files shipped in /lib/klee/runtime/.

* gnu/packages/check.scm (klee): Set #:strip-directories.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2024-07-27 17:53:02 +02:00
..
bootloader
build file-systems: Allow specifying CIFS credentials in a file. 2024-07-26 18:50:53 +02:00
home home: Set 700 permissions on .gnupg with home-gpg-agent-service 2024-07-26 18:22:04 +02:00
installer
machine
packages gnu: klee: Only strip bin directory. 2024-07-27 17:53:02 +02:00
services services: agate: Update options for compatibility with the current Agate version. 2024-07-26 18:55:07 +02:00
system
tests gnu: Add system test for Emacs. 2024-07-21 09:42:13 +02:00
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm
local.mk gnu: python-waitress: Update to 3.0.0. 2024-07-25 17:26:09 -05:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm