diff options
| -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 +} |