summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/int_repr/int_repr-0.17.0-r1.ebuild (renamed from dev-ml/int_repr/int_repr-0.17.0.ebuild)9
1 files changed, 6 insertions, 3 deletions
diff --git a/dev-ml/int_repr/int_repr-0.17.0.ebuild b/dev-ml/int_repr/int_repr-0.17.0-r1.ebuild
index ea5c7697f16a..695a53184009 100644
--- a/dev-ml/int_repr/int_repr-0.17.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.17.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2022-2024 Gentoo Authors
+# Copyright 2022-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -15,10 +15,13 @@ SLOT="0/$(ver_cut 1-2)"
KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
IUSE="+ocamlopt"
+# Jane Street Minor
+JSM=$(ver_cut 1-2)*
+
RDEPEND="
>=dev-lang/ocaml-5
- dev-ml/base:${SLOT}[ocamlopt?]
- dev-ml/ppx_jane:${SLOT}[ocamlopt?]
+ =dev-ml/base-${JSM}:=[ocamlopt?]
+ =dev-ml/ppx_jane-${JSM}:=[ocamlopt?]
"
DEPEND="${RDEPEND}"
BDEPEND=">=dev-ml/dune-3.11"