me/guix
Archived
1
0
Fork 0
Code Activity

gnu: klee: Only build on x86_64 Linux.

Browse source 
* gnu/packages/check.scm (klee): Add supported-systems.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
This commit is contained in:
Sören Tempel 2024-07-27 11:10:57 +02:00 • committed by Liliana Marie Prikler
parent 842517477b
commit ed726598fc
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
gnu/packages/check.scm
View file

@ -1111,6 +1111,7 @@ with the @code{klee} package.")
(native-inputs (list clang-13 llvm-13 python-lit)) (native-inputs (list clang-13 llvm-13 python-lit))
(inputs (list bash-minimal klee-uclibc gperftools sqlite z3 python python-tabulate)) (inputs (list bash-minimal klee-uclibc gperftools sqlite z3 python python-tabulate))
(build-system cmake-build-system) (build-system cmake-build-system)
(supported-systems '("x86_64-linux"))
(home-page "https://klee-se.org/") (home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine") (synopsis "Symbolic execution engine")
(description "KLEE is a symbolic virtual machine built on top of the LLVM (description "KLEE is a symbolic virtual machine built on top of the LLVM