GNU bug report logs -
#56298
python-cmsis-pack-manager and dependencies
Previous Next
Full log
Message #20 received at 56298 <at> debbugs.gnu.org (full text, mbox):
From: Peter Polidoro <peter <at> polidoro.io>
* gnu/packages/crates-io.scm (rust-loom-0.5): New variable.
---
gnu/packages/crates-io.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 155d693430..c1a54bdecf 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -32646,6 +32646,38 @@ (define-public rust-logtest-2
(description "This package tests and asserts log statements.")
(license (list license:expat license:asl2.0))))
+(define-public rust-loom-0.5
+ (package
+ (name "rust-loom")
+ (version "0.5.6")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "loom" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1x9hmiv00ir79kypcg0jdw0j0fkd3ymq6rpv6pli6q5qifrfql7z"))))
+ (build-system cargo-build-system)
+ (arguments
+ ;; FIXME: build phase fails with the error: "the
+ ;; `#[track_caller]` attribute is an experimental feature".
+ `(#:skip-build? #true
+ #:cargo-inputs
+ (("rust-cfg-if" ,rust-cfg-if-1)
+ ("rust-futures-util" ,rust-futures-util-0.3)
+ ("rust-generator" ,rust-generator-0.6)
+ ("rust-scoped-tls" ,rust-scoped-tls-1)
+ ("rust-serde" ,rust-serde-1)
+ ("rust-serde-json" ,rust-serde-json-1))))
+ (home-page "https://github.com/tokio-rs/loom")
+ (synopsis "Permutation testing for concurrent code")
+ (description
+ "Loom is a testing tool for concurrent Rust code. It runs a test many
+times, permuting the possible concurrent executions of that test under the C11
+memory model. It uses state reduction techniques to avoid combinatorial
+explosion.")
+ (license license:expat)))
+
(define-public rust-loom-0.4
(package
(name "rust-loom")
--
2.36.1
This bug report was last modified 2 years and 321 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.