summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAmadeusz Piotr Żołnowski <aidecoe@gentoo.org>2018-10-20 21:32:14 +0100
committerAmadeusz Piotr Żołnowski <aidecoe@gentoo.org>2018-10-24 22:53:54 +0100
commit0da03feb048c0aafd52f92cb8fdcc422ad622d1e (patch)
tree21332bbd5c44ec0fe634d69c376273d622d2ce4e /dev-erlang/proper
parentdev-erlang/meck: Bump version (diff)
downloadgentoo-0da03feb048c0aafd52f92cb8fdcc422ad622d1e.tar.gz
gentoo-0da03feb048c0aafd52f92cb8fdcc422ad622d1e.tar.bz2
gentoo-0da03feb048c0aafd52f92cb8fdcc422ad622d1e.zip
dev-erlang/proper: Bump version
Bug: https://bugs.gentoo.org/626260 Signed-off-by: Amadeusz Piotr Żołnowski <aidecoe@gentoo.org>
Diffstat (limited to 'dev-erlang/proper')
-rw-r--r--dev-erlang/proper/Manifest1
-rw-r--r--dev-erlang/proper/proper-1.3.ebuild24
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
index 465cb1bd1882..27907355907f 100644
--- a/dev-erlang/proper/Manifest
+++ b/dev-erlang/proper/Manifest
@@ -1 +1,2 @@
DIST proper-1.2.tar.gz 291892 BLAKE2B 6c69f449c8794c1a957c78e7c478385bb4590f13752856c8695fadcad5f25943da8939d028b21e8615042fccda20561479e1906e4e1c701c281d29123000bd65 SHA512 07030eaf63d7e28d5df168ab6b49bf1ad1850b962453079f8421ce4b682caa0e6bf166a71e7abebff3d61c3ada7da86fe3b6ffee3a8ddadb9686e75733cbf75e
+DIST proper-1.3.tar.gz 385139 BLAKE2B ff161c9ef694a039105a4ef863952b1a9377bcdfcecebe760de15bfe722291aaf2098a1e187357c6c30586024313f746abf52c89f6c337977deb6caeb448d404 SHA512 4d57ad4fb2a73aedbc9d839c953f0a844bc13acfbcc7e7ec2f0fcf3570a6b877589c1684a28e30dea93f469f6a7ab6db46bb95bb9b539721f6273eb6909dd2bf
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
new file mode 100644
index 000000000000..d7a318582266
--- /dev/null
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit rebar
+
+DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang"
+HOMEPAGE="https://github.com/manopapad/proper"
+SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~ia64 ~ppc ~sparc ~x86"
+
+DEPEND=">=dev-lang/erlang-17.1"
+RDEPEND="${DEPEND}"
+
+DOCS=( README.md THANKS )
+
+src_configure() {
+ ./configure
+}