summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-09-15 08:55:35 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-09-15 14:25:28 +0200
commit76880cca2eea7c835a141997f181d0c35117acdf (patch)
tree3b21c91376864ca69a25d794c86cf312c160ef11 /dev-ml
parentapp-crypt/rotix: update EAPI 7 -> 8 (diff)
downloadgentoo-76880cca2eea7c835a141997f181d0c35117acdf.tar.gz
gentoo-76880cca2eea7c835a141997f181d0c35117acdf.tar.bz2
gentoo-76880cca2eea7c835a141997f181d0c35117acdf.zip
dev-ml/reason: bump to 3.10.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/reason/Manifest1
-rw-r--r--dev-ml/reason/files/reason-3.10.0-fake-git-version.patch10
-rw-r--r--dev-ml/reason/reason-3.10.0.ebuild43
3 files changed, 54 insertions, 0 deletions
diff --git a/dev-ml/reason/Manifest b/dev-ml/reason/Manifest
index ce468f89d3cf..13f0c838b71d 100644
--- a/dev-ml/reason/Manifest
+++ b/dev-ml/reason/Manifest
@@ -1 +1,2 @@
+DIST reason-3.10.0.tar.gz 668962 BLAKE2B 11ab06cf12d2bd2381a6e12bd0dd7627ce454356db21ad189acaea7d24dac7e3647c10bb4478ded41f946d2d982b20988e448eb63ba4b68574bdbafa2984d0b7 SHA512 9be379b3953f57096139d766ef7c55d89bf70be4a8153177b9812bfa69c4260ee91dfeb87df2b71d63840f612e53e46cd2867085bdcfc7040e53817a8ff92225
DIST reason-3.9.0.tar.gz 668271 BLAKE2B 46c5937a16462807e653837c7359c661eeb378dcc9ca619b80d8c308e153227c9cfba9c6c1878f87e08c6ca4a026f0acf5ff8e8902765084bddfd4fbacdfd617 SHA512 0b22d21674ed9d0efcde8512476cb6274b3ef43a619c02ae448fb3bb55318af0509c7fc8fb14784411383375e020729eba4b3855569ecefb177deadf462a0de4
diff --git a/dev-ml/reason/files/reason-3.10.0-fake-git-version.patch b/dev-ml/reason/files/reason-3.10.0-fake-git-version.patch
new file mode 100644
index 000000000000..f4be44e80e2f
--- /dev/null
+++ b/dev-ml/reason/files/reason-3.10.0-fake-git-version.patch
@@ -0,0 +1,10 @@
+--- a/src/refmt/dune
++++ b/src/refmt/dune
+@@ -10,5 +10,5 @@
+ (with-stdout-to
+ %{targets}
+ (progn
+- (bash "echo let version = \\\"$(git rev-parse --verify HEAD)\\\"")
+- (bash "echo let short_version = \\\"$(git rev-parse --short HEAD)\\\"")))))
++ (bash "echo let version = \\\"0000000000000000000000000000000000000000\\\"")
++ (bash "echo let short_version = \\\"0000000000000000000000000000000000000000\\\"")))))
diff --git a/dev-ml/reason/reason-3.10.0.ebuild b/dev-ml/reason/reason-3.10.0.ebuild
new file mode 100644
index 000000000000..d9655ff84950
--- /dev/null
+++ b/dev-ml/reason/reason-3.10.0.ebuild
@@ -0,0 +1,43 @@
+# Copyright 1999-2023 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:=
+ dev-ml/fix:=
+ dev-ml/menhir:=
+ dev-ml/merlin-extend:=
+ dev-ml/ocaml-migrate-parsetree:=
+ dev-ml/ppx_derivers:=
+ dev-ml/ppxlib:=
+ dev-ml/utop:=
+"
+DEPEND="${RDEPEND}"
+
+PATCHES=( "${FILESDIR}/${PN}-3.10.0-fake-git-version.patch" )
+
+src_install() {
+ dune-install reason rtop
+
+ dodoc *.md docs/*.md
+}