blob: fe157ddf86bc10d9142187f54daa73ef15927225 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
# 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:=
)
"
|
