diff options
| author |   Amadeusz Żołnowski <aidecoe@gentoo.org> | 2016-06-06 23:18:27 +0100 |
|---|---|---|
| committer | Amadeusz Żołnowski <aidecoe@gentoo.org> | 2016-06-07 23:20:44 +0100 |
| commit | c59b6e101f625130fde29adbdd83775417ce788c (patch) | |
| tree | e2d20827abafddb76e4ae091deab3df0a5600390 | |
| parent | dev-erlang/p1_xmlrpc: Add new package (diff) | |
| download | gentoo-c59b6e101f625130fde29adbdd83775417ce788c.tar.gz gentoo-c59b6e101f625130fde29adbdd83775417ce788c.tar.bz2 gentoo-c59b6e101f625130fde29adbdd83775417ce788c.zip | |
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
| -rw-r--r-- | dev-erlang/proper/Manifest | 1 | ||||
| -rw-r--r-- | dev-erlang/proper/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-erlang/proper/proper-1.1_p20160426.ebuild | 24 |
3 files changed, 33 insertions, 0 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest new file mode 100644 index 000000000000..12c534063cf3 --- /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 000000000000..674f5ad944f3 --- /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>aidecoe@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 000000000000..eb5b6c778280 --- /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 +} |