mirror of
https://github.com/gentoo-mirror/guru.git
synced 2025-04-20 00:08:58 -04:00
48 lines
754 B
Bash
48 lines
754 B
Bash
# 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:=
|
|
)
|
|
"
|