Message ID | a6bff0cfd82df47c3664fecca42a8b0e0d259b68.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. > --- > gnu/packages/check.scm | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm > index 3f3cc64e8e..3fc88b078f 100644 > --- a/gnu/packages/check.scm > +++ b/gnu/packages/check.scm > @@ -1123,6 +1123,7 @@ (define-public klee > ("python-tabulate" ,python-tabulate) > ("googletest" ,(package-source googletest)))) > (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 LGTM
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 3f3cc64e8e..3fc88b078f 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -1123,6 +1123,7 @@ (define-public klee ("python-tabulate" ,python-tabulate) ("googletest" ,(package-source googletest)))) (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
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(+)