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/atd/
Date: Wed, 17 May 2017 08:14:55 +0000 (UTC)	[thread overview]
Message-ID: <1495007600.1be071429ba0a79475a87592e192c445cd60f2b3.aballier@gentoo> (raw)

commit:     1be071429ba0a79475a87592e192c445cd60f2b3
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed May 17 07:53:20 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed May 17 07:53:20 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1be07142

dev-ml/atd: Bump to 1.2.1

Package-Manager: Portage-2.3.5, Repoman-2.3.2

 dev-ml/atd/Manifest         |  1 +
 dev-ml/atd/atd-1.2.1.ebuild | 34 ++++++++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+)

diff --git a/dev-ml/atd/Manifest b/dev-ml/atd/Manifest
index ff0f798a76d..e529ea6d814 100644
--- a/dev-ml/atd/Manifest
+++ b/dev-ml/atd/Manifest
@@ -1 +1,2 @@
 DIST atd-1.2.0.tar.gz 41300 SHA256 488e06e406824efab12f53845b648c1a592c2c8349d4ac1e12b94ce61e7453e9 SHA512 a52824c9784ac0f4d6f314972fa1d92be14730de3c6bde04032004579ac27408385bd4fa7d926f9d564657eb62050fd732a032f364bada62a1dc7a8acfacb727 WHIRLPOOL b0fe31df2282e5533c6c5bc769a9dfedfc60b5457ccf5e0b7fed82d1da287b72cee3bf1133891e2abe674afb70df781a94200e17bdb0011a45af3f492ae38b1e
+DIST atd-1.2.1.tar.gz 39018 SHA256 515663f1c48c3592e360079f92eea6db82d3d989f1df19b45e8179aec0d48e34 SHA512 5dde8dd1e6ca53ae2ff7efc873211079678a824ae7a9d4182d58e3e10ce50a9dcd705de7168a8cfb12ea3d030a0d01b2485d436e77bfa48c14df7628b47161dc WHIRLPOOL 666cb45158769c98f1bd6b30e045447441cea0cfd54d803b88a3e1ae3b2fd355e351f5cfa5e86c8f96e9dbf44d56920748b639f31f7b4787f0d5f634ef7c2c57

diff --git a/dev-ml/atd/atd-1.2.1.ebuild b/dev-ml/atd/atd-1.2.1.ebuild
new file mode 100644
index 00000000000..d57bf461c6d
--- /dev/null
+++ b/dev-ml/atd/atd-1.2.1.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit findlib
+
+DESCRIPTION="Syntax for cross-language type definitions"
+HOMEPAGE="https://github.com/mjambon/atd"
+SRC_URI="https://github.com/mjambon/atd/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+	dev-lang/ocaml:=[ocamlopt?]
+	dev-ml/easy-format:=[ocamlopt?]
+	dev-ml/menhir:=[ocamlopt?]
+"
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND}
+	dev-ml/jbuilder
+	dev-ml/opam
+"
+
+src_install() {
+	opam-installer -i \
+		--prefix="${ED}/usr" \
+		--libdir="${D}/$(ocamlc -where)" \
+		--docdir="${ED}/usr/share/doc/${PF}" \
+		${PN}.install || die
+}


             reply	other threads:[~2017-05-17  8:14 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-05-17  8:14 Alexis Ballier [this message]
  -- strict thread matches above, loose matches on Subject: below --
2024-05-26 21:36 [gentoo-commits] repo/gentoo:master commit in: dev-ml/atd/ Maciej Barć
2023-11-02 22:11 Maciej Barć
2023-11-02 22:11 Maciej Barć
2023-11-02 22:11 Maciej Barć
2023-07-11 16:44 Alfredo Tupone
2023-02-17 23:39 Maciej Barć
2022-10-23 16:06 Maciej Barć
2022-10-23  9:27 Maciej Barć
2017-06-23 12:31 Alexis Ballier
2017-06-23 12:31 Alexis Ballier
2017-04-02  8:38 Alexis Ballier
2017-04-01 12:24 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=1495007600.1be071429ba0a79475a87592e192c445cd60f2b3.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