commit: 5c63bae771948556e2dfa846da79564a5fc2b477
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 27 14:58:54 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Dec 27 18:51:50 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c63bae7
dev-ml/reason: drop old 3.13.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/reason/Manifest | 1 -
.../files/reason-3.12.0-fake-git-version.patch | 13 ------
dev-ml/reason/reason-3.13.0.ebuild | 46 ----------------------
3 files changed, 60 deletions(-)
diff --git a/dev-ml/reason/Manifest b/dev-ml/reason/Manifest
index 5524315af66a..60a15ff62f09 100644
--- a/dev-ml/reason/Manifest
+++ b/dev-ml/reason/Manifest
@@ -1,2 +1 @@
-DIST reason-3.13.0.tar.gz 667524 BLAKE2B
2f27bc6ade3b1826687e6eed67c600603efd087ac2fa1e5b17560ff77233f9e77bccc98fafa142ff82291b8eb6aaa397557964b7c9be0c050ce8a5b9d33748d7
SHA512
afd7a714f836f38c5a7343a85a565ca5f20b109910973518d88befddd6c8fec0f2f3a2c54eebfb53f4bb52dcb45fdd30bb41663c7d979bca4f17aa1139ba5ce0
DIST reason-3.14.0.tar.gz 675438 BLAKE2B
19ddd7ab800f33c9766665980a67a1df23121f063fc39827d78414762f0487c61f14ee97a9d84a6a521752b14ab17d1a15a3b2037e8304513e4f6e8a32ab9ca6
SHA512
feff9f5d7a00c39d528710401fa902a8a3a20808dbae2b32d5470dc1870a98b0fa1eef60f2fc8b8f4147401939ed53b1cca908b7cf2db82101c21e95de0840eb
diff --git a/dev-ml/reason/files/reason-3.12.0-fake-git-version.patch
b/dev-ml/reason/files/reason-3.12.0-fake-git-version.patch
deleted file mode 100644
index a00a2e063b84..000000000000
--- a/dev-ml/reason/files/reason-3.12.0-fake-git-version.patch
+++ /dev/null
@@ -1,13 +0,0 @@
---- a/src/refmt/dune 2024-10-19 14:08:14.370857664 +0200
-+++ b/src/refmt/dune 2024-10-19 14:09:03.820258355 +0200
-@@ -10,8 +10,8 @@
- (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\\\"")))))
-
- (rule
- (with-stdout-to
diff --git a/dev-ml/reason/reason-3.13.0.ebuild
b/dev-ml/reason/reason-3.13.0.ebuild
deleted file mode 100644
index 2dae216689fa..000000000000
--- a/dev-ml/reason/reason-3.13.0.ebuild
+++ /dev/null
@@ -1,46 +0,0 @@
-# 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
-}
