summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMatthew Brewer <tomboy64@sina.cn>2015-10-16 13:59:04 +0200
committerMatthew Brewer <tomboy64@sina.cn>2015-10-16 19:47:59 +0200
commit9b55086ca66bd6cdfb25d21fa3c198055a770c94 (patch)
tree5babbf8d46656e3f7fc51d33db2df3fe53e7aa79 /dev-ml
parentdev-python/pytest-cov: Keyword under ALLARCHES policy (diff)
downloadgentoo-9b55086ca66bd6cdfb25d21fa3c198055a770c94.tar.gz
gentoo-9b55086ca66bd6cdfb25d21fa3c198055a770c94.tar.bz2
gentoo-9b55086ca66bd6cdfb25d21fa3c198055a770c94.zip
dev-ml/qcheck: new ebuild
- needed as a transitive dependency for Libre S3 1.1 (net-misc/libres3)
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/qcheck/Manifest1
-rw-r--r--dev-ml/qcheck/metadata.xml12
-rw-r--r--dev-ml/qcheck/qcheck-0.4.0.1.ebuild32
3 files changed, 45 insertions, 0 deletions
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
new file mode 100644
index 000000000000..9dba71e6fe3d
--- /dev/null
+++ b/dev-ml/qcheck/Manifest
@@ -0,0 +1 @@
+DIST qcheck-0.4.0.1.tar.gz 55783 SHA256 4c90f4babc35ed9672b9a48d69c480812b030e7194c617614a8b2d11d023ad65 SHA512 9a8476749ee5d97708d3f074e3c948511231aef8a49029c8d284a9d1413f2f5bb3b6bd048ec0998e4e762171626613a81f9275224ad16900094e735f4c82f057 WHIRLPOOL be8dcef3e6b8761fac35df1c41b2adc49f8afeaf7d06c1ba92ebba7ce6ac4a7f0fab213e2360277c074051f5ac48cad0b45069a6a1b8b3b3a6edcac72b769e21
diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml
new file mode 100644
index 000000000000..04ee8254cfb8
--- /dev/null
+++ b/dev-ml/qcheck/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <herd>ml</herd>
+ <herd>proxy-maintainers</herd>
+ <maintainer>
+ <email>tomboy64@sina.cn</email>
+ </maintainer>
+ <use>
+ <flag name="ounit">Enable integration with ounit</flag>
+ </use>
+</pkgmetadata>
diff --git a/dev-ml/qcheck/qcheck-0.4.0.1.ebuild b/dev-ml/qcheck/qcheck-0.4.0.1.ebuild
new file mode 100644
index 000000000000..30bdabd32212
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.4.0.1.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck"
+SRC_URI="https://github.com/c-cube/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD-2"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+ounit"
+
+RDEPEND="
+ ounit? ( >=dev-ml/ounit-2:= )
+"
+DEPEND="
+ ${RDEPEND}
+"
+
+src_configure() {
+ oasis_configure_opts="
+ $(use_enable ounit)
+ " oasis_src_configure
+}
+
+DOCS=( CHANGELOG.md README.md )