aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHartmut Goebel <h.goebel@crazy-compilers.com>2020-07-03 19:03:51 +0200
committerpukkamustard <pukkamustard@posteo.net>2021-04-09 18:26:50 +0200
commitb944909cd9c9ab02ef4cee51a4c67b4af03aa4a8 (patch)
tree76ef529774d8d222797ef0cd1265346408ef771e
parentb59e5f8e1a272efd2b2eeb3ae31e906fb9c634b6 (diff)
gnu: Add erlang-rebar3-proper.rebar-build-system-rebased
* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
-rw-r--r--gnu/packages/erlang.scm17
1 files changed, 17 insertions, 0 deletions
diff --git a/gnu/packages/erlang.scm b/gnu/packages/erlang.scm
index f36a4d40f8..a76dd94796 100644
--- a/gnu/packages/erlang.scm
+++ b/gnu/packages/erlang.scm
@@ -542,6 +542,23 @@ testing of stateful systems.")
git.")
(license license:expat)))
+(define-public erlang-rebar3-proper
+ (package
+ (name "erlang-rebar3-proper")
+ (version "0.11.1")
+ (source
+ (origin
+ (method hexpm-fetch)
+ (uri (hexpm-uri "rebar3_proper" version))
+ (sha256
+ (base32 "0gkbq69bvagh43w384fqgycpyr1p1zd3clwp1klcaicmp0x1syj9"))))
+ (build-system rebar3-build-system)
+ (home-page "http://proper.softlab.ntua.gr/")
+ (synopsis "Rebar3 PropEr plugin")
+ (description "This plugin allows running PropEr test suites from within
+rebar3.")
+ (license "BSD")))
+
(define-public erlang-rebar3-raw-deps
(package
(name "erlang-rebar3-raw-deps")