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/cmdliner/
Date: Thu, 10 Aug 2017 13:02:52 +0000 (UTC)	[thread overview]
Message-ID: <1502370161.f99d4399d46227ce636277f2e06e228e19e94f07.aballier@gentoo> (raw)

commit:     f99d4399d46227ce636277f2e06e228e19e94f07
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Aug  9 11:55:09 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Aug 10 13:02:41 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f99d4399

dev-ml/cmdliner: bump to 1.0.2

Package-Manager: Portage-2.3.6, Repoman-2.3.3

 dev-ml/cmdliner/Manifest              |  1 +
 dev-ml/cmdliner/cmdliner-1.0.2.ebuild | 43 +++++++++++++++++++++++++++++++++++
 2 files changed, 44 insertions(+)

diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest
index 0b4d8102deb..5d339d40ce8 100644
--- a/dev-ml/cmdliner/Manifest
+++ b/dev-ml/cmdliner/Manifest
@@ -1,2 +1,3 @@
 DIST cmdliner-1.0.0.tbz 46542 SHA256 3df9a78a1fa966ba0cfbc4195f0e4dc8d0ff67a4ed23aa1807ef47a0233ed6e7 SHA512 3fc87e49504167864ba4d81fde7bbaa01b7d58b06e2b68b36647857590f41fdc8b3bbd547418f8159b0e76628236b5c30301404b3d8d57e2ff3f082228eee73c WHIRLPOOL 866c6aa188787ec384ea099406e4b82998892ee7513339b0d5f514cc14e98a1f2cd0d8b2b6a852d9b80897aa60f182b75caf35f97d58e98b394f9d1c60fe3de8
 DIST cmdliner-1.0.1.tbz 46614 SHA256 e9964972ac3a6f0636575fe16ac4a5df15392904e51d60c281f72c00e148448c SHA512 b792dab3a7f53f69d74d07acbb013e48235614e29a477b7e9e7d7b58013d47ff842fbaeef50acda305434185325855ef83d839d5acb0ccf460276f0ca880ee7b WHIRLPOOL e25ff8769e004d0dc1138c7d86fb92a7a18b44df43b2ed8826db1c09062619105d3a712985c6edbecf0280ce89cdc0a375527f3c9bbc96400a2566593221fe8c
+DIST cmdliner-1.0.2.tbz 47350 SHA256 414ea2418fca339590abb3c18b95e7715c1086a1f7a32713a492ba1825bc58a2 SHA512 d718d9abe4fe0ea0e7453ed09e57de2a427cc450225cf2b56513d99af4b4218c3fe96ab08dcebd202b9ecf25a471bb7c67511262f35148dfe15684421be6d743 WHIRLPOOL 15a012bf2685fad71ddb03c9bf64b11aa4ccc80e7698683910319239abb38bc61d4c7199f685753ebb58cbccd2fb053790b84249a57f00f748d72c20a07a8d11

diff --git a/dev-ml/cmdliner/cmdliner-1.0.2.ebuild b/dev-ml/cmdliner/cmdliner-1.0.2.ebuild
new file mode 100644
index 00000000000..262192ca7b5
--- /dev/null
+++ b/dev-ml/cmdliner/cmdliner-1.0.2.ebuild
@@ -0,0 +1,43 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="Declarative definition of command line interfaces for OCaml"
+HOMEPAGE="http://erratique.ch/software/cmdliner"
+SRC_URI="http://erratique.ch/software/${PN}/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="+ocamlopt test"
+
+RDEPEND="
+	>=dev-lang/ocaml-4:=[ocamlopt?]
+	dev-ml/result:=
+"
+DEPEND="${RDEPEND}
+	dev-ml/topkg
+	dev-ml/ocamlbuild"
+
+src_compile() {
+	ocaml pkg/pkg.ml build \
+		--tests $(usex test true false) \
+		|| die
+}
+
+src_test() {
+	ocaml pkg/pkg.ml test || die
+}
+
+src_install() {
+	# Can't use opam-installer here as it is an opam dep...
+	findlib_src_preinst
+	local nativelibs=""
+	use ocamlopt && nativelibs="$(echo _build/src/cmdliner.cm{x,xa,xs} _build/src/cmdliner.a)"
+	ocamlfind install cmdliner _build/pkg/META \
+		_build/src/cmdliner.mli _build/src/cmdliner.cm{a,i} ${nativelibs} || die
+	dodoc README.md CHANGES.md
+}


             reply	other threads:[~2017-08-10 13:02 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-08-10 13:02 Alexis Ballier [this message]
  -- strict thread matches above, loose matches on Subject: below --
2024-10-15 15:25 [gentoo-commits] repo/gentoo:master commit in: dev-ml/cmdliner/ Arthur Zamarin
2024-07-02 14:50 Maciej Barć
2024-06-22 14:38 Alfredo Tupone
2024-06-09 18:11 Arthur Zamarin
2024-06-09 18:11 Arthur Zamarin
2024-06-09 12:56 Arthur Zamarin
2024-06-09 12:06 Arthur Zamarin
2023-07-16 19:32 Alfredo Tupone
2023-01-30 15:26 Sam James
2023-01-30 15:26 Sam James
2023-01-30 15:26 Sam James
2023-01-30 15:08 Sam James
2023-01-30 13:09 Sam James
2022-06-28  7:07 Alfredo Tupone
2022-04-15 16:26 Alfredo Tupone
2021-02-11  6:31 Sam James
2021-02-11  6:26 Sam James
2021-02-10 18:53 Sam James
2021-02-10 16:33 Sam James
2020-11-28 18:37 Aaron Bauman
2020-10-28  3:36 Sam James
2020-10-14 11:34 Mark Wright
2017-08-06  7:40 Alexis Ballier
2017-08-02 11:23 Alexis Ballier
2017-04-05 17:50 Markus Meier
2017-04-05  9:51 Michael Weber
2017-03-15 14:26 Alexis Ballier
2017-03-02 13:01 Alexis Ballier
2016-03-01 18:47 Alexis Ballier
2016-03-01 18:47 Alexis Ballier
2015-10-12  7:57 Alexis Ballier

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=1502370161.f99d4399d46227ce636277f2e06e228e19e94f07.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