summaryrefslogtreecommitdiff
path: root/gnu/packages/vim.scm
diff options
context:
space:
mode:
authorJean-Pierre De Jesus DIAZ <jean@foundationdevices.com>2023-09-08 12:34:23 +0200
committerLudovic Courtès <ludo@gnu.org>2023-11-23 12:56:44 +0100
commitff61fc8e0f1b7867dd0b0d3ad28185a8342b3038 (patch)
tree64b504ddcaedfd7ae65067990c8a9a18b655d375 /gnu/packages/vim.scm
parent33a1ee7f17338dbfa39bd00e449c667f345d41fa (diff)
gnu: Add vim-coqtail.
* gnu/packages/vim.scm (vim-coqtail): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Change-Id: I5fa7266227097c724e29be4a133a8dc4bb8bb1af
Diffstat (limited to 'gnu/packages/vim.scm')
-rw-r--r--gnu/packages/vim.scm64
1 files changed, 64 insertions, 0 deletions
diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm
index 8dcd6aad36..61ae6ffc68 100644
--- a/gnu/packages/vim.scm
+++ b/gnu/packages/vim.scm
@@ -50,7 +50,9 @@
#:use-module (gnu packages attr)
#:use-module (gnu packages autotools)
#:use-module (gnu packages base)
+ #:use-module (gnu packages check)
#:use-module (gnu packages code)
+ #:use-module (gnu packages coq)
#:use-module (gnu packages enlightenment)
#:use-module (gnu packages fontutils)
#:use-module (gnu packages gawk)
@@ -450,6 +452,68 @@ trouble using them, because you do not have to remember each snippet name.")
(home-page "https://github.com/Shougo/context_filetype.vim")
(license license:expat)))) ; ??? check again
+(define-public vim-coqtail
+ (let ((commit "dfe3939c9caff69d9af76bfd74f1a40fb7dc5609")
+ (revision "0"))
+ (package
+ (name "vim-coqtail")
+ (version (git-version "1.7.0" revision commit))
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/whonore/Coqtail")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks"))))
+ (build-system copy-build-system)
+ (arguments
+ '(#:install-plan
+ '(("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
+ (modify-phases %standard-phases
+ (add-before 'install 'check
+ (lambda* (#:key inputs native-inputs tests? #:allow-other-keys)
+ (when tests?
+ (display "Running Python unit tests.\n")
+ (setenv "PYTHONPATH" (string-append (getcwd) "/python"))
+ (invoke "pytest" "-q" "tests/unit")
+
+ (display "Running Python Coq tests.\n")
+ (invoke "pytest" "-q" "tests/coq")
+
+ (display "Running Vim unit tests.\n")
+ (let* ((vim-vader (assoc-ref (or native-inputs inputs)
+ "vim-vader"))
+ (vader-path (string-append vim-vader
+ "/share/vim/vimfiles")))
+ (with-directory-excursion "tests/vim"
+ (setenv "VADER_PATH" vader-path)
+ (invoke "vim" "-E" "-Nu" "vimrc"
+ "-c" "Vader! *.vader")))
+
+ ;; Remove __pycache__ files generated during testing so that
+ ;; they don't get installed.
+ (delete-file-recursively "python/__pycache__")))))))
+ (native-inputs
+ (list coq-for-coqtail
+ python-pytest
+ vim-full ;; Plugin needs Python 3.
+ vim-vader))
+ (propagated-inputs (list coq coq-ide-server))
+ (synopsis "Interactive Coq proofs in Vim")
+ (description "Coqtail enables interactive Coq proof development in Vim
+similar to CoqIDE or ProofGeneral.")
+ (home-page "https://github.com/whonore/Coqtail")
+ (license license:expat))))
+
(define-public vim-fugitive
(package
(name "vim-fugitive")