lilyp pushed a commit to branch master
in repository guix.
commit 842517477b763e59edbea2bea62af6319c195711
Author: Sören Tempel <[email protected]>
AuthorDate: Sat Jul 27 11:10:56 2024 +0200
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 <[email protected]>
---
gnu/packages/check.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index aeaa2e807f..250206886f 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1063,6 +1063,7 @@ with the @code{klee} package.")
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:strip-directories #~(list "bin") ;don't strip LLVM bitcode in /lib
#:test-target "check"
#:phases
#~(modify-phases %standard-phases
