# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

inherit dune

DESCRIPTION="Library for hierarchical names and lexical scoping"
HOMEPAGE="https://github.com/RedPRL/yuujinchou"
SRC_URI="https://github.com/RedPRL/${PN}/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz"

LICENSE="Apache-2.0"
SLOT="0/${PV}"
KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt test"

RDEPEND="
	>=dev-lang/ocaml-5.0:=
	>=dev-ml/algaeff-2.0:=
	>=dev-ml/bwd-2.2:=
"
DEPEND="${RDEPEND}
	test? (
		>=dev-ml/alcotest-1.5:*
		>=dev-ml/qcheck-0.18:*
	)
"

RESTRICT="!test? ( test )"

QA_FLAGS_IGNORED='.*'