summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorHartmut Goebel <h.goebel@crazy-compilers.com>2020-04-19 21:27:03 +0200
committerHartmut Goebel <h.goebel@crazy-compilers.com>2020-05-05 13:20:26 +0200
commit1edae217be6ea3557a4d7700ef4c4deec4669415 (patch)
treedc77ffa3723439cc9736baf61786358b4457d66f /gnu
parentc9a8c5fe754db5401d800e2f1d19ff2760fc0231 (diff)
gnu: Add rust-loom-0.2.
* gnu/packages/crates-io.scm (rust-loom-0.2): New variable. (rust-loom-0.1): Inherit from it.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/crates-io.scm35
1 files changed, 28 insertions, 7 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 3179500abb..e9d53173d7 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -11832,9 +11832,35 @@ by inspecting the system for user preference.")
`(#:cargo-inputs
(("rust-log" ,rust-log-0.4))))))
-(define-public rust-loom-0.1
+(define-public rust-loom-0.2
(package
(name "rust-loom")
+ (version "0.2.13")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "loom" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "0qwvwbpnxff5m6647v9rc9i6ak8ral4jy0br5xx1s9a5zcd3xddh"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:cargo-inputs
+ (("rust-cfg-if" ,rust-cfg-if-0.1)
+ ("rust-futures-util" ,rust-futures-util-0.3)
+ ("rust-generator" ,rust-generator-0.6)
+ ("rust-scoped-tls" ,rust-scoped-tls-0.1)
+ ("rust-serde" ,rust-serde-1.0)
+ ("rust-serde-test" ,rust-serde-test-1.0)
+ ("rust-serde-json" ,rust-serde-json-1.0))))
+ (home-page "https://github.com/tokio-rs/loom")
+ (synopsis "Model checker for concurrent code")
+ (description "Model checker for concurrent code.")
+ (license license:expat)))
+
+(define-public rust-loom-0.1
+ (package/inherit rust-loom-0.2
+ (name "rust-loom")
(version "0.1.1")
(source
(origin
@@ -11845,7 +11871,6 @@ by inspecting the system for user preference.")
(sha256
(base32
"1jmp5mffwwyqgp914cwz92ij2s6vk1hsnkvgndvzw74xrcfraibj"))))
- (build-system cargo-build-system)
(arguments
`(#:cargo-inputs
(("rust-cfg-if" ,rust-cfg-if-0.1)
@@ -11854,11 +11879,7 @@ by inspecting the system for user preference.")
("rust-scoped-tls" ,rust-scoped-tls-0.1)
("rust-serde" ,rust-serde-1.0)
("rust-serde-derive" ,rust-serde-derive-1.0)
- ("rust-serde-json" ,rust-serde-json-1.0))))
- (home-page "https://github.com/tokio-rs/loom")
- (synopsis "Model checker for concurrent code")
- (description "Model checker for concurrent code.")
- (license license:expat)))
+ ("rust-serde-json" ,rust-serde-json-1.0))))))
(define-public rust-lscolors-0.6
(package