diff mbox series

[bug#72106,v3,5/5] gnu: klee-uclibc: Only build on x86_64 Linux.

Message ID e2ef2adbfb638bcb13700e2a1a6f530cffbe9e16.1721940003.git.soeren@soeren-tempel.net
State New
Headers show
Series [bug#72106,v3,1/5] gnu: klee: Wrap klee-stats for Python dependencies. | expand

Commit Message

Sören Tempel July 25, 2024, 8:40 p.m. UTC 
From: Sören Tempel <soeren@soeren-tempel.net>

* gnu/packages/check.scm (klee-uclibc): Add supported-systems.
---
 gnu/packages/check.scm | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 75393ca179..493829082b 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1006,6 +1006,7 @@  (define-public klee-uclibc
          (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.