summaryrefslogtreecommitdiff
path: root/dev-erlang/proper
diff options
context:
space:
mode:
Diffstat (limited to 'dev-erlang/proper')
-rw-r--r--dev-erlang/proper/Manifest6
-rw-r--r--dev-erlang/proper/metadata.xml11
-rw-r--r--dev-erlang/proper/proper-1.1_p20160426.ebuild24
-rw-r--r--dev-erlang/proper/proper-1.2.ebuild24
4 files changed, 65 insertions, 0 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
new file mode 100644
index 000000000000..b040f0d76d1b
--- /dev/null
+++ b/dev-erlang/proper/Manifest
@@ -0,0 +1,6 @@
+DIST proper-1.1_p20160426.tar.bz2 268512 SHA256 35a9eba20bd22f9f6231c660d34d07a7bb8532d7fb90e1493d3cd2a9186603d1 SHA512 da9d5bfec99df620d1813a4690235b3862eaaca2c360303dabb27a6cf828046e46ee2adbb1941b2b5330621e30808fb269995e0b1dec0d29cf96f07f32fd1da7 WHIRLPOOL 5dd22bdaefce6ee32e9a4cf9b04c71a0373c88b5311f9d97bbd69db7c910420f83a843cf304040c04dbd233a248abbbf8c62d386065c9805c8bdcf0a6c2c81f7
+DIST proper-1.2.tar.gz 291892 SHA256 ec5e1087652640dfc33db82e53130b73e4ad9193dafc8662cda0fccf8a7a7f0e SHA512 07030eaf63d7e28d5df168ab6b49bf1ad1850b962453079f8421ce4b682caa0e6bf166a71e7abebff3d61c3ada7da86fe3b6ffee3a8ddadb9686e75733cbf75e WHIRLPOOL 8f8054d1e0768ae8ac7f03a41dabbe0237705d261f47de23ea6bdaaf775131d55ad34fae210d10c9e56868a4eab971db0cda8ef8d961cc82ed032922088bbefc
+EBUILD proper-1.1_p20160426.ebuild 538 SHA256 b6cf6c688e9ab645342082998d06ef7994875dd786a4eb1c7996480ebcc79461 SHA512 90b3adc1025e6dce8617335684471b0c7a9d579d3ebbc60f97b1f5ddb80299a24a75851cfbb3ce808f4cb7844c06d5c8d54f823f8c2bd2ab8b00c662e357dc8c WHIRLPOOL 406cbdda52ca59ba05f18e650efc7843df2ef95666bb05a102b94816692e0feabcd00777e47a2509a96d2f631e52dc7a6abcec32b039f584eb6acf5e9ddb56ee
+EBUILD proper-1.2.ebuild 518 SHA256 0e67c6aa6f2f891c839f84a9ddac3b833f3112b00d5d0aabc7bbcb41c04a7ee0 SHA512 b104e8c05fe9415f214421ed25bb072bf93ecd0186cda4b981d3ac0beab56d4c1d8ebe7f6ed8cab4c3f23a8aafaf93d9d26b239720686c8adb3b06e6b9c94ab2 WHIRLPOOL f8110f5ea0a5d87f0ef937ce210c16aba47fc0c3d21df0268d158cb99589252597af47ce682c506c19843bba4cd893d7101a51fcc41e4961c0033aea06e23e81
+MISC ChangeLog 1616 SHA256 b421ba312dc4bbbe7bd3f04f467f09ab1ed6a3d6b1908ab69b448f1eee7463a5 SHA512 310b4eb43c9f3a6644367acc2c69b50f73b2fb1136f9c299723e0f69cc070a9a21a43c3587656f27e394f177228c9fcbab7705845227384e036ef07cbd597cdb WHIRLPOOL 9d5ab8778b4bbf17b6ab001ebbd6c82b332c438a0869276ac924bcdb05492f3a34353b7de14f8ecc334b6dec152ca1dd5d47109e165218d71d9d925a0ea4eec6
+MISC metadata.xml 335 SHA256 bc190145cb4e9cd9d1a8d2b1f4ed57ce446c62c111f1533b8e0cc6f852517d11 SHA512 89a804da2e7eabb21eea5db839285b16052aa639a504c3c0fe87374a2d688c726c89a394c7c48540589b8f51e274a063c2428c39d144b5ed42ef1da73521a3a1 WHIRLPOOL e12600d11c0820ebc4fe139a16dd60d5e76ce9122106e83a50cda90dc1b9f99eb38c095a0e7571f7f93df39f10dada46af34b67268b2e31b7717b23ed5bd6932
diff --git a/dev-erlang/proper/metadata.xml b/dev-erlang/proper/metadata.xml
new file mode 100644
index 000000000000..b5fd9bd08cb8
--- /dev/null
+++ b/dev-erlang/proper/metadata.xml
@@ -0,0 +1,11 @@
+<?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>
+ <upstream>
+ <remote-id type="github">manopapad/proper</remote-id>
+ </upstream>
+</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..5d57035d02f8
--- /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
+
+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 ~ia64 ppc ~sparc x86"
+
+DEPEND=">=dev-lang/erlang-17.1
+ <dev-lang/erlang-19"
+RDEPEND="${DEPEND}"
+
+DOCS=( README.md THANKS )
+
+src_configure() {
+ ./configure
+}
diff --git a/dev-erlang/proper/proper-1.2.ebuild b/dev-erlang/proper/proper-1.2.ebuild
new file mode 100644
index 000000000000..32dd1572bac1
--- /dev/null
+++ b/dev-erlang/proper/proper-1.2.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit rebar
+
+DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang"
+HOMEPAGE="https://github.com/manopapad/proper"
+SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc x86"
+
+DEPEND=">=dev-lang/erlang-17.1"
+RDEPEND="${DEPEND}"
+
+DOCS=( README.md THANKS )
+
+src_configure() {
+ ./configure
+}