public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/reason/
Date: Wed, 23 Oct 2024 15:44:10 +0000 (UTC)	[thread overview]
Message-ID: <1729698241.34390ea5e110ee1c0511c3149e8e853c9e68c0b5.xgqt@gentoo> (raw)

commit:     34390ea5e110ee1c0511c3149e8e853c9e68c0b5
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 23 12:33:58 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Oct 23 15:44:01 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=34390ea5

dev-ml/reason: bump to 3.13.0

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/reason/Manifest             |  1 +
 dev-ml/reason/reason-3.13.0.ebuild | 46 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+)

diff --git a/dev-ml/reason/Manifest b/dev-ml/reason/Manifest
index 61765c2bf951..adaf3157c73d 100644
--- a/dev-ml/reason/Manifest
+++ b/dev-ml/reason/Manifest
@@ -1,2 +1,3 @@
 DIST reason-3.11.0.tar.gz 699692 BLAKE2B c377e7ccb222ade2f0a5a9b50147a045fb10a95d7e3a8a9ce91674f76a3174ef169f5575ecde7004db2a43350ac8e7cc73315eefcda57b98c9b3d6cc83ed13bd SHA512 71b70e06afbc193c1c4b379c570347e4f971ed001d60e73cf4a745a9bc110e78d329d5ce5334b59aacb7dbe8d2f12f50b7c6786c9a35fff445da0d26f6a87f7d
 DIST reason-3.12.0.tar.gz 661530 BLAKE2B e2855359595f6240055577f4477975cbe4a836801f5db2431d9b243cc583938c401fcdb36a0e8636aa8ee1368f3565625580c10bef679f520a92fb937571b717 SHA512 4258ee4c6bdc20ff3034458e923e58db7da792d8e22a8ab0b281ea2d6bb503cad30356346e255ad9fcac6fbf4e6bf9bf8cacca08b37ece73f3311d9ef821f9f5
+DIST reason-3.13.0.tar.gz 667524 BLAKE2B 2f27bc6ade3b1826687e6eed67c600603efd087ac2fa1e5b17560ff77233f9e77bccc98fafa142ff82291b8eb6aaa397557964b7c9be0c050ce8a5b9d33748d7 SHA512 afd7a714f836f38c5a7343a85a565ca5f20b109910973518d88befddd6c8fec0f2f3a2c54eebfb53f4bb52dcb45fdd30bb41663c7d979bca4f17aa1139ba5ce0

diff --git a/dev-ml/reason/reason-3.13.0.ebuild b/dev-ml/reason/reason-3.13.0.ebuild
new file mode 100644
index 000000000000..2dae216689fa
--- /dev/null
+++ b/dev-ml/reason/reason-3.13.0.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Simple, fast & type safe language that leverages JavaScript and OCaml"
+HOMEPAGE="https://reasonml.github.io/
+	https://github.com/reasonml/reason/"
+
+if [[ ${PV} == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/reasonml/${PN}.git"
+else
+	SRC_URI="https://github.com/reasonml/${PN}/archive/${PV}.tar.gz
+		-> ${P}.tar.gz"
+
+	KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	dev-ml/dune-build-info:=[ocamlopt?]
+	dev-ml/fix:=[ocamlopt?]
+	dev-ml/menhir:=[ocamlopt?]
+	dev-ml/merlin-extend:=[ocamlopt?]
+	dev-ml/ppx_derivers:=[ocamlopt?]
+	dev-ml/ppxlib:=[ocamlopt?]
+	dev-ml/utop:=[ocamlopt?]
+"
+DEPEND="
+	${RDEPEND}
+"
+
+PATCHES=( "${FILESDIR}/${PN}-3.12.0-fake-git-version.patch" )
+
+src_install() {
+	dune-install reason rtop
+
+	dodoc *.md docs/*.md
+}


             reply	other threads:[~2024-10-23 15:44 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-10-23 15:44 Maciej Barć [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-02-10 19:19 [gentoo-commits] repo/gentoo:master commit in: dev-ml/reason/ Maciej Barć
2024-12-01 17:29 Maciej Barć
2024-12-01 17:29 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-05-02  9:33 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=1729698241.34390ea5e110ee1c0511c3149e8e853c9e68c0b5.xgqt@gentoo \
    --to=xgqt@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