diff options
Diffstat (limited to 'dev-erlang/proper')
-rw-r--r-- | dev-erlang/proper/Manifest | 6 | ||||
-rw-r--r-- | dev-erlang/proper/metadata.xml | 11 | ||||
-rw-r--r-- | dev-erlang/proper/proper-1.1_p20160426.ebuild | 24 | ||||
-rw-r--r-- | dev-erlang/proper/proper-1.2.ebuild | 24 |
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 +} |