diff options
| author | Hartmut Goebel <h.goebel@crazy-compilers.com> | 2020-07-03 19:03:09 +0200 |
|---|---|---|
| committer | Hartmut Goebel <h.goebel@crazy-compilers.com> | 2022-06-15 10:18:49 +0200 |
| commit | eb8c8ba11f9a65b07b956d287e9bcba2b14f5223 (patch) | |
| tree | ce29df1eb3047695a3827a37dc2f5206ebef19bd /gnu | |
| parent | d723e8d94bc0e3f41285fa5cd64cd953d6a31d17 (diff) | |
| download | guix-eb8c8ba11f9a65b07b956d287e9bcba2b14f5223.tar.gz | |
gnu: Add erlang-proper.
* gnu/packages/erlang.scm (erlang-proper): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/erlang.scm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gnu/packages/erlang.scm b/gnu/packages/erlang.scm index 4df57673c9..1531a11b29 100644 --- a/gnu/packages/erlang.scm +++ b/gnu/packages/erlang.scm @@ -450,6 +450,33 @@ evaluating an expression at compile-time and substitute the result as a compile-time constant.") (license license:asl2.0))) +(define-public erlang-proper + (package + (name "erlang-proper") + (version "1.4.0") + (source + (origin + (method url-fetch) + (uri (hexpm-uri "proper" version)) + (sha256 + (base32 "1fwcas4a9kz3w3z1jqdk9lw8822srfjk9lcpvbxkxlsv3115ha0q")))) + (build-system rebar-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'disable-covertool + ;; no need to generate a coverage report + (lambda _ + (substitute* "rebar.config" + (("\\{plugins, \\[covertool\\]\\}\\." _) ""))))))) + (home-page "https://proper-testing.github.io/") + (synopsis "QuickCheck-inspired property-based testing tool for Erlang") + (description "PropEr is a tool for the automated, semi-random, +property-based testing of Erlang programs. It is fully integrated with +Erlang's type language, and can also be used for the model-based random +testing of stateful systems.") + (license license:gpl3+))) + (define-public erlang-providers (package (name "erlang-providers") |