summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-11-20 10:52:33 +0100
committerAlfredo Tupone <tupone@gentoo.org>2022-11-20 10:53:44 +0100
commit71e2d42164923d09ca9f3f09158ff924999718a3 (patch)
tree5cf7629ffdcf1b9a896c7b073057abf12ff8dfca /dev-ml
parentsci-chemistry/molmol: Drop unused eclass (diff)
downloadgentoo-71e2d42164923d09ca9f3f09158ff924999718a3.tar.gz
gentoo-71e2d42164923d09ca9f3f09158ff924999718a3.tar.bz2
gentoo-71e2d42164923d09ca9f3f09158ff924999718a3.zip
dev-ml/dyn: relax dune deps, and constraint dev-ml/ordering dep
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/dyn/dyn-3.0.3-r1.ebuild (renamed from dev-ml/dyn/dyn-3.0.3.ebuild)5
1 files changed, 3 insertions, 2 deletions
diff --git a/dev-ml/dyn/dyn-3.0.3.ebuild b/dev-ml/dyn/dyn-3.0.3-r1.ebuild
index ba609c7fd471..c25478c40de7 100644
--- a/dev-ml/dyn/dyn-3.0.3.ebuild
+++ b/dev-ml/dyn/dyn-3.0.3-r1.ebuild
@@ -16,8 +16,9 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RESTRICT="test"
-BDEPEND="~dev-ml/dune-${PV}"
-DEPEND="dev-ml/ordering:="
+BDEPEND=">=dev-ml/dune-3"
+DEPEND="~dev-ml/ordering-${PV}:=
+ dev-ml/pp:="
RDEPEND="${DEPEND}"
src_configure() {