summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2025-06-03 21:57:07 +0200
committerAlfredo Tupone <tupone@gentoo.org>2025-06-03 21:57:07 +0200
commit779782cc96e42e8fbd34a8ebc68fb2eae077eb70 (patch)
tree1679e3f183d2c9541d1d20e1e1bd5271547e34e1
parentbf4b3a9883edbcdf6bb03cb7365f325acd2b896b (diff)
downloadgentoo-779782cc96e42e8fbd34a8ebc68fb2eae077eb70.tar.gz
gentoo-779782cc96e42e8fbd34a8ebc68fb2eae077eb70.tar.bz2
gentoo-779782cc96e42e8fbd34a8ebc68fb2eae077eb70.zip
dev-ml/int_repr: depends on all 0.17.* slot of base
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
-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"