From a4beface075dbbab32a43535831add959248d7cd Mon Sep 17 00:00:00 2001 From: Z572 <873216071@qq.com> Date: Wed, 12 Jan 2022 23:27:46 +0800 Subject: [PATCH] gnu: Add rust-chalk-ir-0.75. * gnu/packages/crates-io.scm (rust-chalk-ir-0.75): New variable. (rust-chalk-ir-0.68): Inherit from above. Signed-off-by: Nicolas Goaziou --- gnu/packages/crates-io.scm | 39 ++++++++++++++++++++++++++++++-------- 1 file changed, 31 insertions(+), 8 deletions(-) diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index 9a580660da..f2d7541e03 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -9278,8 +9278,38 @@ macros.") ("rust-quote" ,rust-quote-1) ("rust-syn" ,rust-syn-1) ("rust-synstructure" ,rust-synstructure-0.12)))))) + +(define-public rust-chalk-ir-0.75 + (package + (name "rust-chalk-ir") + (version "0.75.0") + (source + (origin + (method url-fetch) + (uri (crate-uri "chalk-ir" version)) + (file-name + (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "12iyziaw14qb0wz3pqx70qwqa9r0qsi5d4y6j0g32yabs2hyay9b")))) + (build-system cargo-build-system) + (arguments + `(#:skip-build? #t + #:cargo-inputs + (("rust-bitflags" ,rust-bitflags-1) + ("rust-chalk-derive" ,rust-chalk-derive-0.75) + ("rust-lazy-static" ,rust-lazy-static-1)))) + (home-page "https://github.com/rust-lang/chalk") + (synopsis + "Chalk's internal representation of types, goals, and clauses") + (description + "This package provides Chalk's internal representation of types, goals, and +clauses.") + (license (list license:asl2.0 license:expat)))) + (define-public rust-chalk-ir-0.68 (package + (inherit rust-chalk-ir-0.75) (name "rust-chalk-ir") (version "0.68.0") (source @@ -9297,14 +9327,7 @@ macros.") #:cargo-inputs (("rust-bitflags" ,rust-bitflags-1) ("rust-chalk-derive" ,rust-chalk-derive-0.68) - ("rust-lazy-static" ,rust-lazy-static-1)))) - (home-page "https://github.com/rust-lang/chalk") - (synopsis - "Chalk's internal representation of types, goals, and clauses") - (description - "This package provides Chalk's internal representation of types, goals, and -clauses.") - (license (list license:asl2.0 license:expat)))) + ("rust-lazy-static" ,rust-lazy-static-1)))))) (define-public rust-chalk-recursive-0.68 (package