# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8

inherit nvim-plugin git-r3

DESCRIPTION="Neovim support for the Lean theorem prover"
HOMEPAGE="https://github.com/julian/lean.nvim"
EGIT_REPO_URI="https://github.com/julian/lean.nvim"
LICENSE="MIT"
KEYWORDS="~amd64 ~arm64"

src_install() {
	nvim-plugin_src_install
	doins -r scripts spec vscode-lean
}