efraim pushed a commit to branch rust-team
in repository guix.
commit 05b33a03a9873a8a4f2e214c7dae92d44009d4df
Author: Efraim Flashner <[email protected]>
AuthorDate: Thu Dec 19 21:20:38 2024 +0200
gnu: Add rust-proptest-derive-0.5.
* gnu/packages/crates-io.scm (rust-proptest-derive-0.5): New variable.
(rust-proptest-derive-0.4): Inherit from rust-proptest-derive-0.5.
Change-Id: If56ef6dcc5181818d29ebeaef726c800808c4bd2
---
gnu/packages/crates-io.scm | 37 +++++++++++++++++++++++++++++--------
1 file changed, 29 insertions(+), 8 deletions(-)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 3c9ae10ca7..96ec8c2ab2 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -61573,8 +61573,36 @@ including most strategies and the testing framework
itself.")
#:cargo-development-inputs
(("rust-regex" ,rust-regex-0.2))))))
+(define-public rust-proptest-derive-0.5
+ (package
+ (name "rust-proptest-derive")
+ (version "0.5.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "proptest-derive" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "0jay6jwfvrwzz5bqpi4hxx3ax6kax06p0h29vgkxb0vl42nckqaf"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:tests? #f ; `#![feature]` may not be used on the stable release
channel
+ #:cargo-inputs (("rust-proc-macro2" ,rust-proc-macro2-1)
+ ("rust-quote" ,rust-quote-1)
+ ("rust-syn" ,rust-syn-2))
+ #:cargo-development-inputs (("rust-compiletest-rs"
,rust-compiletest-rs-0.11)
+ ("rust-criterion" ,rust-criterion-0.5)
+ ("rust-proptest" ,rust-proptest-1))))
+ (home-page
+ "https://proptest-rs.github.io/proptest/proptest-derive/index.html";)
+ (synopsis "Custom-derive for the Arbitrary trait of proptest")
+ (description "This package provides a custom-derive for the Arbitrary
+trait of proptest.")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-proptest-derive-0.4
(package
+ (inherit rust-proptest-derive-0.5)
(name "rust-proptest-derive")
(version "0.4.0")
(source
@@ -61589,7 +61617,6 @@ including most strategies and the testing framework
itself.")
(snippet '(begin (delete-file "tests/uninhabited-pass.rs")
(delete-file "tests/enum.rs")
(delete-file "tests/skip.rs")))))
- (build-system cargo-build-system)
(arguments
`(#:cargo-test-flags
'("--release" "--"
@@ -61601,13 +61628,7 @@ including most strategies and the testing framework
itself.")
#:cargo-development-inputs
(("rust-compiletest-rs" ,rust-compiletest-rs-0.9)
("rust-criterion" ,rust-criterion-0.5)
- ("rust-proptest" ,rust-proptest-1))))
- (home-page
- "https://proptest-rs.github.io/proptest/proptest-derive/index.html";)
- (synopsis "Custom-derive for the Arbitrary trait of proptest")
- (description "This package provides a custom-derive for the Arbitrary
-trait of proptest.")
- (license (list license:expat license:asl2.0))))
+ ("rust-proptest" ,rust-proptest-1))))))
(define-public rust-proptest-derive-0.3
(package
