1 |
commit: 0da03feb048c0aafd52f92cb8fdcc422ad622d1e |
2 |
Author: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Oct 20 20:32:14 2018 +0000 |
4 |
Commit: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed Oct 24 21:53:54 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0da03feb |
7 |
|
8 |
dev-erlang/proper: Bump version |
9 |
|
10 |
Bug: https://bugs.gentoo.org/626260 |
11 |
Signed-off-by: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo.org> |
12 |
|
13 |
dev-erlang/proper/Manifest | 1 + |
14 |
dev-erlang/proper/proper-1.3.ebuild | 24 ++++++++++++++++++++++++ |
15 |
2 files changed, 25 insertions(+) |
16 |
|
17 |
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest |
18 |
index 465cb1bd188..27907355907 100644 |
19 |
--- a/dev-erlang/proper/Manifest |
20 |
+++ b/dev-erlang/proper/Manifest |
21 |
@@ -1 +1,2 @@ |
22 |
DIST proper-1.2.tar.gz 291892 BLAKE2B 6c69f449c8794c1a957c78e7c478385bb4590f13752856c8695fadcad5f25943da8939d028b21e8615042fccda20561479e1906e4e1c701c281d29123000bd65 SHA512 07030eaf63d7e28d5df168ab6b49bf1ad1850b962453079f8421ce4b682caa0e6bf166a71e7abebff3d61c3ada7da86fe3b6ffee3a8ddadb9686e75733cbf75e |
23 |
+DIST proper-1.3.tar.gz 385139 BLAKE2B ff161c9ef694a039105a4ef863952b1a9377bcdfcecebe760de15bfe722291aaf2098a1e187357c6c30586024313f746abf52c89f6c337977deb6caeb448d404 SHA512 4d57ad4fb2a73aedbc9d839c953f0a844bc13acfbcc7e7ec2f0fcf3570a6b877589c1684a28e30dea93f469f6a7ab6db46bb95bb9b539721f6273eb6909dd2bf |
24 |
|
25 |
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild |
26 |
new file mode 100644 |
27 |
index 00000000000..d7a31858226 |
28 |
--- /dev/null |
29 |
+++ b/dev-erlang/proper/proper-1.3.ebuild |
30 |
@@ -0,0 +1,24 @@ |
31 |
+# Copyright 1999-2018 Gentoo Foundation |
32 |
+# Distributed under the terms of the GNU General Public License v2 |
33 |
+ |
34 |
+EAPI=6 |
35 |
+ |
36 |
+inherit rebar |
37 |
+ |
38 |
+DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang" |
39 |
+HOMEPAGE="https://github.com/manopapad/proper" |
40 |
+SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz |
41 |
+ -> ${P}.tar.gz" |
42 |
+ |
43 |
+LICENSE="GPL-3" |
44 |
+SLOT="0" |
45 |
+KEYWORDS="~amd64 ~arm ~ia64 ~ppc ~sparc ~x86" |
46 |
+ |
47 |
+DEPEND=">=dev-lang/erlang-17.1" |
48 |
+RDEPEND="${DEPEND}" |
49 |
+ |
50 |
+DOCS=( README.md THANKS ) |
51 |
+ |
52 |
+src_configure() { |
53 |
+ ./configure |
54 |
+} |