gnu: klee-uclibc: Only build on x86_64 Linux.
* gnu/packages/check.scm (klee-uclibc): Add supported-systems. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>master
parent
ed726598fc
commit
46a64c7fdd
|
@ -1006,6 +1006,7 @@ runner. It is quite unopinionated with most of its features being optional.")
|
||||||
(sha256
|
(sha256
|
||||||
(base32 "12fnr5mq80cxwvv09gi844mi31jgi8067swagxnlxlhxj4mi125j"))))
|
(base32 "12fnr5mq80cxwvv09gi844mi31jgi8067swagxnlxlhxj4mi125j"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
|
(supported-systems '("x86_64-linux"))
|
||||||
(arguments
|
(arguments
|
||||||
`(#:tests? #f ;upstream uClibc tests do not work in the fork
|
`(#:tests? #f ;upstream uClibc tests do not work in the fork
|
||||||
#:strip-directories '() ;only ships a static library, so don't strip anything.
|
#:strip-directories '() ;only ships a static library, so don't strip anything.
|
||||||
|
|
Reference in New Issue