From ed726598fceb8a7bbdf8a1d74f480e5274e3a083 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Tempel?= Date: Sat, 27 Jul 2024 11:10:57 +0200 Subject: [PATCH] gnu: klee: Only build on x86_64 Linux. * gnu/packages/check.scm (klee): Add supported-systems. Signed-off-by: Liliana Marie Prikler --- 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