public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alexis Ballier" <aballier@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
Date: Fri, 16 Oct 2015 17:51:07 +0000 (UTC)	[thread overview]
Message-ID: <1445017679.9b55086ca66bd6cdfb25d21fa3c198055a770c94.aballier@gentoo> (raw)

commit:     9b55086ca66bd6cdfb25d21fa3c198055a770c94
Author:     Matthew Brewer <tomboy64 <AT> sina <DOT> cn>
AuthorDate: Fri Oct 16 11:59:04 2015 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Oct 16 17:47:59 2015 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b55086c

dev-ml/qcheck: new ebuild

- needed as a transitive dependency for Libre S3 1.1 (net-misc/libres3)

 dev-ml/qcheck/Manifest              |  1 +
 dev-ml/qcheck/metadata.xml          | 12 ++++++++++++
 dev-ml/qcheck/qcheck-0.4.0.1.ebuild | 32 ++++++++++++++++++++++++++++++++
 3 files changed, 45 insertions(+)

diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
new file mode 100644
index 0000000..9dba71e
--- /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 0000000..04ee825
--- /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 0000000..30bdabd
--- /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 )


             reply	other threads:[~2015-10-16 17:51 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-10-16 17:51 Alexis Ballier [this message]
  -- strict thread matches above, loose matches on Subject: below --
2016-02-10 10:32 [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/ Ian Delaney
2016-02-13  6:29 Ian Delaney
2016-10-07 11:18 Alexis Ballier
2016-12-19 12:15 Alexis Ballier
2017-01-09 11:08 Alexis Ballier
2017-01-13  7:56 Alexis Ballier
2017-01-13  7:56 Alexis Ballier
2017-01-24 11:50 Alexis Ballier
2017-01-25 10:37 Alexis Ballier
2017-01-28 20:13 Alexis Ballier
2017-05-30 18:08 Alexis Ballier
2017-08-22  7:02 Alexis Ballier
2017-08-22  7:02 Alexis Ballier
2020-12-02 17:46 Aaron Bauman
2021-12-07 21:58 Maciej Barć
2023-01-28 13:26 Alfredo Tupone
2024-07-13  9:30 Alfredo Tupone

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1445017679.9b55086ca66bd6cdfb25d21fa3c198055a770c94.aballier@gentoo \
    --to=aballier@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox