diff options
Diffstat (limited to 'gnu')
| -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 250206886f4..ae3ec909440 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 |