| Message ID | c692edb365bb126a03b27a9bbb63df29726ff8e5.1720953093.git.soeren@soeren-tempel.net |
|---|---|
| State | New |
| Headers | show |
| Series | gnu: klee: Enable test suite | expand |
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 14d7124908..47e99a6be5 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -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
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(+)