From b6cd5e70c727ac8eec564d1e02db4de684a99f66 Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Thu, 19 Dec 2024 21:20:38 +0200 Subject: [PATCH] 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 fe0450ebd0..04313dd438 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -61640,8 +61640,36 @@ (define-public rust-proptest-0.3 #: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 @@ -61656,7 +61684,6 @@ (define-public rust-proptest-derive-0.4 (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" "--" @@ -61668,13 +61695,7 @@ (define-public rust-proptest-derive-0.4 #: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