diff options
| author | Sören Tempel <soeren@soeren-tempel.net> | 2024-07-27 11:10:56 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-07-27 17:53:02 +0200 |
| commit | 842517477b763e59edbea2bea62af6319c195711 (patch) | |
| tree | 7c7ca09c1e94a29c67f00d99a33072af0e1cb0cf | |
| parent | 187b6df6f1d0dd54574f42167e64135c2bd586d3 (diff) | |
| download | guix-842517477b763e59edbea2bea62af6319c195711.tar.gz guix-842517477b763e59edbea2bea62af6319c195711.zip | |
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>
| -rw-r--r-- | gnu/packages/check.scm | 1 |
1 files changed, 1 insertions, 0 deletions
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 |