Gentoo Archives: gentoo-commits

From: "Amadeusz Piotr Żołnowski" <aidecoe@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
Date: Wed, 24 Oct 2018 21:54:30
Message-Id: 1540418034.0da03feb048c0aafd52f92cb8fdcc422ad622d1e.aidecoe@gentoo
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 +}