[bug#72106,v3,3/5] gnu: klee: Only strip bin directory.
Commit Message
From: Sören Tempel <soeren@soeren-tempel.net>
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.
---
gnu/packages/check.scm | 1 +
1 file changed, 1 insertion(+)
Comments
Am Donnerstag, dem 25.07.2024 um 22:40 +0200 schrieb
soeren@soeren-tempel.net:
> From: Sören Tempel <soeren@soeren-tempel.net>
>
> 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.
> ---
LGTM
@@ -1063,6 +1063,7 @@ (define-public klee
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:strip-directories #~(list "bin") ;don't strip LLVM bitcode in /lib
#:test-target "check"
#:phases
#~(modify-phases %standard-phases