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/reason/
Date: Tue,  2 May 2017 09:33:37 +0000 (UTC)	[thread overview]
Message-ID: <1493717607.8f5cdae67efe508ee59724d16f0ec5289e5c4fbf.aballier@gentoo> (raw)

commit:     8f5cdae67efe508ee59724d16f0ec5289e5c4fbf
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon May  1 18:35:34 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue May  2 09:33:27 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f5cdae6

dev-ml/reason: bump to 1.13.5

Package-Manager: Portage-2.3.5, Repoman-2.3.2

 dev-ml/reason/Manifest             |  1 +
 dev-ml/reason/reason-1.13.5.ebuild | 42 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 43 insertions(+)

diff --git a/dev-ml/reason/Manifest b/dev-ml/reason/Manifest
index 024c5f08523..e1028232c90 100644
--- a/dev-ml/reason/Manifest
+++ b/dev-ml/reason/Manifest
@@ -1,2 +1,3 @@
 DIST reason-1.13.3.tar.gz 10253108 SHA256 b92840f8238dd6266c5678da3e4dc832776bcc98990ac47773020e34dce708a6 SHA512 82398fbbf72bcadfc868e5f33e8666ef80ef610f8313d08bc16593944569b7a16693fcc6397a117518bf8e32f71083f0ac4a416112f97cd220715f4293136b84 WHIRLPOOL a82dd8e28a012ed0716fba6bc79eee849110bfb42cd8221eb15847cadae90d62d909e635f3da465c6220382d6eee62f2f69a739d96d3d6a5baddc58623cd059e
 DIST reason-1.13.4.tar.gz 6856260 SHA256 07b0f4a471b570b9f6ee699016d2fb9d98788d1ccfb428a2b2f20f1ee6f42b9e SHA512 ee2270ffbb3c3c818aafec2ef0f23f3741e66e5b077b3a84b49b357b003d24d639165c521bf0afe92bf81ef626ed6d863ea6d097b83a2e1b5a0349a679cc8c7f WHIRLPOOL ffc8b96ce5b653c1d78877f0422315cce3d42615b88bb6f09f52d3af9799fe30ed221094a5acbc49448f0d1e865b1702a2b5956a8d327a22b2db01eb33aa0da7
+DIST reason-1.13.5.tar.gz 6681110 SHA256 d769e15e507ae401e5f7d8e59a1c327729824dd9914d05d7fe0ee51c84afeb2f SHA512 e47836281fb36094358f746b3460ac9671782fbf51058b220f5fe2be060592db75b688c917e162345c3fdcf8822d9b7fad0483ae274a97ccf640bdd7853510a9 WHIRLPOOL 21e86a487263735af8968577f4b3dc8fb4492c9b831b24e27faf30d421e0e164342bc76661fa674c90a2bb78b911639ea12e5eb7562cb6144c6b0d414844e4fe

diff --git a/dev-ml/reason/reason-1.13.5.ebuild b/dev-ml/reason/reason-1.13.5.ebuild
new file mode 100644
index 00000000000..1ef34e4b334
--- /dev/null
+++ b/dev-ml/reason/reason-1.13.5.ebuild
@@ -0,0 +1,42 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Meta Language Toolchain"
+HOMEPAGE="https://github.com/facebook/reason"
+SRC_URI="https://github.com/facebook/reason/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+	dev-lang/ocaml:=[ocamlopt?]
+	dev-ml/reason-parser:=
+	dev-ml/merlin-extend:=
+	dev-ml/result:=
+	dev-ml/topkg:=
+	dev-ml/ocaml-migrate-parsetree:=
+	dev-ml/utop:=
+"
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND}
+	dev-ml/findlib
+	dev-ml/ocamlbuild
+	dev-ml/opam"
+
+src_compile() {
+	emake precompile
+	emake build
+}
+
+src_install() {
+	opam-installer -i \
+		--prefix="${ED}/usr" \
+		--libdir="${D}/$(ocamlc -where)" \
+		--docdir="${ED}/usr/share/doc/${PF}" \
+		--mandir="${ED}/usr/share/man" \
+		${PN}.install || die
+}


             reply	other threads:[~2017-05-02  9:33 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-05-02  9:33 Alexis Ballier [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-08-09 17:14 [gentoo-commits] repo/gentoo:master commit in: dev-ml/reason/ Maciej Barć
2025-08-09 17:14 Maciej Barć
2025-02-10 19:19 Maciej Barć
2024-12-01 17:29 Maciej Barć
2024-12-01 17:29 Maciej Barć
2024-10-23 15:44 Maciej Barć
2024-05-26 21:36 Maciej Barć
2024-02-26  0:54 Maciej Barć
2024-02-26  0:54 Maciej Barć
2023-08-27 12:42 Maciej Barć
2023-07-08 20:38 Alfredo Tupone
2023-06-17 17:52 Maciej Barć
2023-06-17 17:52 Maciej Barć
2023-06-17 17:52 Maciej Barć
2022-12-21  7:33 Alfredo Tupone
2022-10-16  0:02 Maciej Barć
2022-10-16  0:02 Maciej Barć
2022-06-28 15:19 Maciej Barć
2022-06-28 15:19 Maciej Barć
2022-03-09  1:36 Maciej Barć
2022-02-28 10:30 Maciej Barć
2022-01-29 19:36 Maciej Barć
2021-12-11  0:20 Maciej Barć
2021-12-08  4:18 Maciej Barć
2021-12-08  3:09 Maciej Barć
2021-12-08  2:13 Maciej Barć
2017-08-06 12:30 Alexis Ballier
2017-06-03 15:13 Alexis Ballier
2017-05-30 18:08 Alexis Ballier
2017-04-20  9:33 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=1493717607.8f5cdae67efe508ee59724d16f0ec5289e5c4fbf.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