mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-21 16:39:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

plugins/coq-nvim: remove useless local definition of the coq_nvim plugin (#295)

Browse source
This commit is contained in:
Gaétan Lepage 2023-03-26 16:12:32 +02:00 • committed by GitHub
parent e46b7302af
commit dbd25dffd0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 3 additions and 136 deletions
Download patch file Download diff file Expand all files Collapse all files

28
plugins/plugin-defs.nix
View file

@ -5,30 +5,4 @@
# You can update the plugins by running `nvfetcher` in this directory
{pkgs, ...}: let
sources = pkgs.callPackage ./_sources/generated.nix {};
in {
coq-nvim = pkgs.vimUtils.buildVimPlugin {
inherit (sources.coq-nvim) pname version src;
passthru.python3Dependencies = ps: [
ps.pynvim
ps.pyyaml
(ps.buildPythonPackage {
inherit (sources.pynvim_pp) pname version src;
propagatedBuildInputs = [pkgs.python3Packages.pynvim];
})
(ps.buildPythonPackage {
inherit (sources.std2) pname version src;
doCheck = true;
})
];
# We need some patches so it stops complaining about not being in a venv
postPatch = ''
substituteInPlace coq/consts.py \
--replace "VARS = TOP_LEVEL / \".vars\"" "VARS = Path.home() / \".cache/home/vars\"";
substituteInPlace coq/__main__.py \
--replace "_IN_VENV = _RT_PY == _EXEC_PATH" "_IN_VENV = True"
'';
};
}
in {}