Message ID | 2f96e525abd91df6bf774c18e601f497bffa618f.1720953093.git.soeren@soeren-tempel.net |
---|---|
State | New |
Headers | show |
Series | gnu: klee: Enable test suite | expand |
Am Sonntag, dem 14.07.2024 um 12:42 +0200 schrieb soeren@soeren-tempel.net: > From: Sören Tempel <soeren@soeren-tempel.net> > > Without these dependencies, the klee-stats Python script, > which is shipped by the klee package, does not work correctly. > > * gnu/packages/check.scm (klee): Add propagated Python inputs. Can we use a wrapper instead?
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 3bfcf5a37e..f31e1bdb36 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1087,6 +1087,8 @@ (define-public klee (string-append "-DKLEE_UCLIBC_PATH=" (search-input-file %build-inputs "/lib/klee/libc.a")) "-DENABLE_POSIX_RUNTIME=ON"))) + ;; klee-stats tool (shipped in /bin) requires Python. + (propagated-inputs (list python python-tabulate)) (native-inputs (list clang-13 llvm-13 python-lit)) (inputs (list bash-minimal klee-uclibc gperftools sqlite z3)) (build-system cmake-build-system)
From: Sören Tempel <soeren@soeren-tempel.net> Without these dependencies, the klee-stats Python script, which is shipped by the klee package, does not work correctly. * gnu/packages/check.scm (klee): Add propagated Python inputs. --- gnu/packages/check.scm | 2 ++ 1 file changed, 2 insertions(+)