gnu: vim-coqtail: Use vim-build-system.

* gnu/packages/vim.scm (vim-coqtail)[build-system]: Switch to the
vim-build-system.
[arguments]: Remove install-plan.  Add plugin-name.  Adjust custom
'check phase to refer to vim-full.
[native-inputs]: Use 'old-style' package references to be able to
specify vim-full.

Change-Id: Iae3877738032a5583320245f63775f187c40fb6a
This commit is contained in:
Efraim Flashner 2023-11-26 09:56:45 +02:00
parent 18c3d347f5
commit 1abeb6c907
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -467,16 +467,9 @@ (define-public vim-coqtail
(sha256 (sha256
(base32 (base32
"0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks")))) "0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks"))))
(build-system copy-build-system) (build-system vim-build-system)
(arguments (arguments
'(#:install-plan '(#:plugin-name "coqtail"
'(("autoload" "share/vim/vimfiles/")
("doc" "share/vim/vimfiles/")
("ftdetect" "share/vim/vimfiles/")
("ftplugin" "share/vim/vimfiles/")
("indent" "share/vim/vimfiles/")
("python" "share/vim/vimfiles/")
("syntax" "share/vim/vimfiles/"))
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(add-before 'install 'check (add-before 'install 'check
@ -497,17 +490,20 @@ (define-public vim-coqtail
"/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 "vim" "-E" "-Nu" "vimrc" (invoke (string-append
(assoc-ref (or native-inputs inputs) "vim-full")
"/bin/vim")
"-E" "-Nu" "vimrc"
"-c" "Vader! *.vader"))) "-c" "Vader! *.vader")))
;; Remove __pycache__ files generated during testing so that ;; Remove __pycache__ files generated during testing so that
;; they don't get installed. ;; they don't get installed.
(delete-file-recursively "python/__pycache__"))))))) (delete-file-recursively "python/__pycache__")))))))
(native-inputs (native-inputs
(list coq-for-coqtail `(("coq-for-coqtail" ,coq-for-coqtail)
python-pytest ("python-pytest" ,python-pytest)
vim-full ;; Plugin needs Python 3. ("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