From 46a64c7fdd057283063aae6df058579bb07c4b6a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Tempel?= Date: Sat, 27 Jul 2024 11:10:58 +0200 Subject: [PATCH] gnu: klee-uclibc: Only build on x86_64 Linux. * gnu/packages/check.scm (klee-uclibc): 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 ae3ec90944..b8fbe3f6a8 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1006,6 +1006,7 @@ runner. It is quite unopinionated with most of its features being optional.") (sha256 (base32 "12fnr5mq80cxwvv09gi844mi31jgi8067swagxnlxlhxj4mi125j")))) (build-system gnu-build-system) + (supported-systems '("x86_64-linux")) (arguments `(#:tests? #f ;upstream uClibc tests do not work in the fork #:strip-directories '() ;only ships a static library, so don't strip anything.