Message ID | e3fe86a32c89fa2a8c50a249d32cbcc4a3c6b75e.1720981528.git.soeren@soeren-tempel.net |
---|---|
State | New |
Headers | show |
Series | [bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. | expand |
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 552cb39de5..3f3cc64e8e 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(+)