# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit dune
COQ_V=8.19
DESCRIPTION="Visual Studio Code Extension and Language Server Protocol for Coq"
HOMEPAGE="https://github.com/ejgallego/coq-lsp"
SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_V}.tar.gz -> ${P}.tar.gz"
S="${WORKDIR}/${P}-${COQ_V}"
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
IUSE="ocamlopt test"
RESTRICT="!test? ( test )"
RDEPEND="
=sci-mathematics/coq-${COQ_V}*:=
sci-mathematics/coq-serapi:=
dev-ml/cmdliner:=
dev-ml/yojson:=
dev-ml/uri:=
dev-ml/dune-build-info:=
dev-ml/menhir:=
dev-ml/ppx_inline_test:=
"
DEPEND="
${RDEPEND}
"
BEPEND="
test? (
dev-ml/alcotest:=
)
"