| Message ID | 96e57f4f5fc4ea592923427484333c7dfea55a3c.1720981528.git.soeren@soeren-tempel.net |
|---|---|
| State | New |
| Headers | show |
| Series | [bug#72106,v2,1/5] gnu: klee: Wrap klee-stats for Python dependencies. | expand |
Am Sonntag, dem 14.07.2024 um 20:25 +0200 schrieb soeren@soeren-tempel.net: > From: Sören Tempel <soeren@soeren-tempel.net> > > * gnu/packages/check.scm (klee): Add supported-systems. Should be klee-uclibc. > --- > gnu/packages/check.scm | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm > index 3fc88b078f..e48d392251 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. Cheers
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 3fc88b078f..e48d392251 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.
From: Sören Tempel <soeren@soeren-tempel.net> * gnu/packages/check.scm (klee): Add supported-systems. --- gnu/packages/check.scm | 1 + 1 file changed, 1 insertion(+)