commit: c59b6e101f625130fde29adbdd83775417ce788c Author: Amadeusz Żołnowski <aidecoe <AT> gentoo <DOT> org> AuthorDate: Mon Jun 6 22:18:27 2016 +0000 Commit: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo <DOT> org> CommitDate: Tue Jun 7 22:20:44 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c59b6e10
dev-erlang/proper: Add new package It is debundled from net-im/ejabberd-16.04 and therefore inherits keywords from ejabberd: ~amd64, ~arm, ~ppc and ~x86. ~ia64 and ~sparc are not inherited because other dependency is missing these keywords and there's no chance it can get them any time soon. Package-Manager: portage-2.3.0_rc1 dev-erlang/proper/Manifest | 1 + dev-erlang/proper/metadata.xml | 8 ++++++++ dev-erlang/proper/proper-1.1_p20160426.ebuild | 24 ++++++++++++++++++++++++ 3 files changed, 33 insertions(+) diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest new file mode 100644 index 0000000..12c5340 --- /dev/null +++ b/dev-erlang/proper/Manifest @@ -0,0 +1 @@ +DIST proper-1.1_p20160426.tar.bz2 268512 SHA256 35a9eba20bd22f9f6231c660d34d07a7bb8532d7fb90e1493d3cd2a9186603d1 SHA512 da9d5bfec99df620d1813a4690235b3862eaaca2c360303dabb27a6cf828046e46ee2adbb1941b2b5330621e30808fb269995e0b1dec0d29cf96f07f32fd1da7 WHIRLPOOL 5dd22bdaefce6ee32e9a4cf9b04c71a0373c88b5311f9d97bbd69db7c910420f83a843cf304040c04dbd233a248abbbf8c62d386065c9805c8bdcf0a6c2c81f7 diff --git a/dev-erlang/proper/metadata.xml b/dev-erlang/proper/metadata.xml new file mode 100644 index 0000000..674f5ad --- /dev/null +++ b/dev-erlang/proper/metadata.xml @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> +<pkgmetadata> + <maintainer type="person"> + <email>aide...@gentoo.org</email> + <name>Amadeusz Żołnowski</name> + </maintainer> +</pkgmetadata> diff --git a/dev-erlang/proper/proper-1.1_p20160426.ebuild b/dev-erlang/proper/proper-1.1_p20160426.ebuild new file mode 100644 index 0000000..eb5b6c7 --- /dev/null +++ b/dev-erlang/proper/proper-1.1_p20160426.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=6 + +inherit rebar + +DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang" +HOMEPAGE="https://github.com/manopapad/proper"; +SRC_URI="https://dev.gentoo.org/~aidecoe/distfiles/${CATEGORY}/${PN}/${P}.tar.bz2"; + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~arm ~ppc ~x86" + +DEPEND=">=dev-lang/erlang-17.1" +RDEPEND="${DEPEND}" + +DOCS=( README.md THANKS ) + +src_configure() { + ./configure +}
