lilyp pushed a commit to branch master
in repository guix.
commit ed726598fceb8a7bbdf8a1d74f480e5274e3a083
Author: Sören Tempel <[email protected]>
AuthorDate: Sat Jul 27 11:10:57 2024 +0200
gnu: klee: Only build on x86_64 Linux.
* gnu/packages/check.scm (klee): Add supported-systems.
Signed-off-by: Liliana Marie Prikler <[email protected]>
---
gnu/packages/check.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 250206886f..ae3ec90944 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1111,6 +1111,7 @@ with the @code{klee} package.")
(native-inputs (list clang-13 llvm-13 python-lit))
(inputs (list bash-minimal klee-uclibc gperftools sqlite z3 python
python-tabulate))
(build-system cmake-build-system)
+ (supported-systems '("x86_64-linux"))
(home-page "https://klee-se.org/";)
(synopsis "Symbolic execution engine")
(description "KLEE is a symbolic virtual machine built on top of the LLVM
