diff options
Diffstat (limited to 'app-nvim/lean/lean-9999.ebuild')
| -rw-r--r-- | app-nvim/lean/lean-9999.ebuild | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/app-nvim/lean/lean-9999.ebuild b/app-nvim/lean/lean-9999.ebuild new file mode 100644 index 0000000..a995669 --- /dev/null +++ b/app-nvim/lean/lean-9999.ebuild @@ -0,0 +1,16 @@ +# 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 +} |