summaryrefslogtreecommitdiff
path: root/gnu/packages/crates-check.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/crates-check.scm')
-rw-r--r--gnu/packages/crates-check.scm235
1 files changed, 235 insertions, 0 deletions
diff --git a/gnu/packages/crates-check.scm b/gnu/packages/crates-check.scm
index e7ff935c8b..50e92f3cdd 100644
--- a/gnu/packages/crates-check.scm
+++ b/gnu/packages/crates-check.scm
@@ -1,4 +1,9 @@
;;; GNU Guix --- Functional package management for GNU
+;;; Copyright © 2019 John Soo <[email protected]>
+;;; Copyright © 2020 Efraim Flashner <[email protected]>
+;;; Copyright © 2020 Valentin Ignatev <[email protected]>
+;;; Copyright © 2021 Nicolas Goaziou <[email protected]>
+;;; Copyright © 2022 Aleksandr Vityazev <[email protected]>
;;; Copyright © 2024 Maxim Cournoyer <[email protected]>
;;;
;;; This file is part of GNU Guix.
@@ -76,6 +81,236 @@
(proc-macro crate).")
(license (list license:expat license:asl2.0))))
+(define-public rust-quickcheck-1
+ (package
+ (name "rust-quickcheck")
+ (version "1.0.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1mjhkfqwrb8mdyxdqr4zzbj1rm5dfx25n9zcc25lb6fxwiw673sq"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:skip-build? #t
+ #:cargo-inputs
+ (("rust-env-logger" ,rust-env-logger-0.8)
+ ("rust-log" ,rust-log-0.4)
+ ("rust-rand" ,rust-rand-0.8))))
+ (home-page "https://github.com/BurntSushi/quickcheck")
+ (synopsis "Automatic property based testing with shrinking")
+ (description
+ "QuickCheck is a way to do property based testing using randomly generated
+input. This crate comes with the ability to randomly generate and shrink
+integers, floats, tuples, booleans, lists, strings, options and results.")
+ (license (list license:unlicense license:expat))))
+
+(define-public rust-quickcheck-0.9
+ (package
+ (inherit rust-quickcheck-1)
+ (name "rust-quickcheck")
+ (version "0.9.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0pwl7j21wmf843kpa9gr0byb40hg975ghjrwp0yxcym99bkq6j54"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-env-logger" ,rust-env-logger-0.7)
+ ("rust-log" ,rust-log-0.4)
+ ("rust-rand" ,rust-rand-0.7)
+ ("rust-rand-core" ,rust-rand-core-0.5))))))
+
+(define-public rust-quickcheck-0.8
+ (package
+ (inherit rust-quickcheck-0.9)
+ (name "rust-quickcheck")
+ (version "0.8.5")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0mkl4wnvvjk4m32aq3an4ayfyvnmbxnzcybfm7n3fbsndb1xjdcw"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-env-logger" ,rust-env-logger-0.6)
+ ("rust-log" ,rust-log-0.4)
+ ("rust-rand" ,rust-rand-0.6)
+ ("rust-rand-core" ,rust-rand-core-0.4))))))
+
+(define-public rust-quickcheck-0.7
+ (package
+ (inherit rust-quickcheck-0.9)
+ (name "rust-quickcheck")
+ (version "0.7.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "05pqzja6fwdyrs1za5vmxb9ifb993knmpdsrs1fs2wyz9qz7slyl"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-env-logger" ,rust-env-logger-0.5)
+ ("rust-log" ,rust-log-0.4)
+ ("rust-rand" ,rust-rand-0.5)
+ ("rust-rand-core" ,rust-rand-core-0.2))))))
+
+(define-public rust-quickcheck-0.6
+ (package
+ (inherit rust-quickcheck-0.9)
+ (name "rust-quickcheck")
+ (version "0.6.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1dyazm2fcq0v9fscq1a7597zsvdl9f0j8c2bfj1jm2nlzz2sn6y0"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-env-logger" ,rust-env-logger-0.5)
+ ("rust-log" ,rust-log-0.4)
+ ("rust-rand" ,rust-rand-0.4))))))
+
+(define-public rust-quickcheck-0.5
+ (package
+ (inherit rust-quickcheck-0.9)
+ (name "rust-quickcheck")
+ (version "0.5.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1jzm1ygfbn4igaq14b9nipc8yvsn6c8panpgd1qiy5r2insjllyd"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-env-logger" ,rust-env-logger-0.4)
+ ("rust-log" ,rust-log-0.3)
+ ("rust-rand" ,rust-rand-0.3))))))
+
+(define-public rust-quickcheck-0.4
+ (package
+ (inherit rust-quickcheck-0.5)
+ (name "rust-quickcheck")
+ (version "0.4.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "01hligcv1h4pvc8ykch65qjzi7jgcq2s462v69j27slc84fl3hh2"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-env-logger" ,rust-env-logger-0.3)
+ ("rust-log" ,rust-log-0.3)
+ ("rust-rand" ,rust-rand-0.3))))))
+
+(define-public rust-quickcheck-0.2
+ (package
+ (inherit rust-quickcheck-0.4)
+ (name "rust-quickcheck")
+ (version "0.2.27")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1vb4acppaavlnchzc1jmn5wlkgir9x9gmhgp97bavyxxqxgsg1nh"))))))
+
+(define-public rust-quickcheck-macros-1
+ (package
+ (name "rust-quickcheck-macros")
+ (version "1.0.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck_macros" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1s8nh0fmmzq3fd7928qcp2syvymlyv1pmww6fxcaj5np48r6jamj"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:skip-build? #t
+ #:cargo-inputs
+ (("rust-proc-macro2" ,rust-proc-macro2-1)
+ ("rust-quote" ,rust-quote-1)
+ ("rust-syn" ,rust-syn-1))))
+ (home-page "https://github.com/BurntSushi/quickcheck")
+ (synopsis "Macro attribute for quickcheck")
+ (description
+ "This package provides a macro attribute for quickcheck.")
+ (license (list license:unlicense license:expat))))
+
+(define-public rust-quickcheck-macros-0.9
+ (package
+ (inherit rust-quickcheck-macros-1)
+ (name "rust-quickcheck-macros")
+ (version "0.9.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck_macros" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0zsb9b4jpg7qvbiym4v8y9pgqk7p1g4f5hn9gp0fnzz9v1pib330"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-proc-macro2" ,rust-proc-macro2-1)
+ ("rust-quote" ,rust-quote-1)
+ ("rust-syn" ,rust-syn-1))
+ #:cargo-development-inputs
+ (("rust-quickcheck" ,rust-quickcheck-0.9))))))
+
+(define-public rust-quickcheck-macros-0.8
+ (package
+ (inherit rust-quickcheck-macros-0.9)
+ (name "rust-quickcheck-macros")
+ (version "0.8.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "quickcheck_macros" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0b3mhn0xcrdd3fkbkx3rghhivwzwil8w991ngp6gaj70l72c3pyp"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-proc-macro2" ,rust-proc-macro2-0.4)
+ ("rust-quote" ,rust-quote-0.6)
+ ("rust-syn" ,rust-syn-0.15))
+ #:cargo-development-inputs
+ (("rust-quickcheck" ,rust-quickcheck-0.8))))))
+
;;;
;;; Avoid adding new packages to the end of this file. To reduce the chances
;;; of a merge conflict, place them above by existing packages with similar