tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-06 21:20:33 +02:00
Code Activity

gnu: vim-coqtail: Move vim-full to arguments.

Browse Source 
* gnu/packages/vim.scm (vim-coqtail)[arguments]: Set #:vim to use
vim-full.  Adjust custom 'check phase accordingly.
[native-inputs]: Remove vim-full.  Remove input labels.

Change-Id: I20cc1e0772727f8fc7db70b42151432fb6349fc7
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
This commit is contained in:
Jean-Pierre De Jesus DIAZ
2023-12-27 16:31:48 +01:00
committed by Efraim Flashner
parent b34d0ceb85
commit cb651129a3
1 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
gnu/packages/vim.scm
View File

@@ -470,7 +470,8 @@ trouble using them, because you do not have to remember each snippet name.")
"0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks")))) "0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks"))))
(build-system vim-build-system) (build-system vim-build-system)
(arguments (arguments
'(#:plugin-name "coqtail" `(#:plugin-name "coqtail"
#:vim ,vim-full ; Plugin needs Python 3.
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(add-before 'install 'check (add-before 'install 'check
@@ -491,9 +492,7 @@ trouble using them, because you do not have to remember each snippet name.")
"/share/vim/vimfiles/pack/guix/start/vader"))) "/share/vim/vimfiles/pack/guix/start/vader")))
(with-directory-excursion "tests/vim" (with-directory-excursion "tests/vim"
(setenv "VADER_PATH" vader-path) (setenv "VADER_PATH" vader-path)
(invoke (string-append (invoke "vim"
(assoc-ref (or native-inputs inputs) "vim-full")
"/bin/vim")
"-E" "-Nu" "vimrc" "-E" "-Nu" "vimrc"
"-c" "Vader! *.vader"))) "-c" "Vader! *.vader")))
@@ -501,10 +500,9 @@ trouble using them, because you do not have to remember each snippet name.")
;; they don't get installed. ;; they don't get installed.
(delete-file-recursively "python/__pycache__"))))))) (delete-file-recursively "python/__pycache__")))))))
(native-inputs (native-inputs
`(("coq-for-coqtail" ,coq-for-coqtail) (list coq-for-coqtail
("python-pytest" ,python-pytest) python-pytest
("vim-full" ,vim-full) ; Plugin needs Python 3. vim-vader))
("vim-vader" ,vim-vader)))
(propagated-inputs (list coq coq-ide-server)) (propagated-inputs (list coq coq-ide-server))
(synopsis "Interactive Coq proofs in Vim") (synopsis "Interactive Coq proofs in Vim")
(description "Coqtail enables interactive Coq proof development in Vim (description "Coqtail enables interactive Coq proof development in Vim