ec031bbbf1
* gnu/packages/vim.scm (vim-coqtail): Update to 1.7.1-1.d77080e. Change-Id: Ifea28105a394c50a78cc1afaa2fa0217fe0cf39b Signed-off-by: Christopher Baines <mail@cbaines.net>
1629 lines
64 KiB
Scheme
1629 lines
64 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2013 Cyril Roelandt <tipecaml@gmail.com>
|
||
;;; Copyright © 2016-2024 Efraim Flashner <efraim@flashner.co.il>
|
||
;;; Copyright © 2016, 2017 Nikita <nikita@n0.is>
|
||
;;; Copyright © 2017 Ricardo Wurmus <rekado@elephly.net>
|
||
;;; Copyright © 2017 Marius Bakke <mbakke@fastmail.com>
|
||
;;; Copyright © 2018–2021 Tobias Geerinckx-Rice <me@tobias.gr>
|
||
;;; Copyright © 2019 HiPhish <hiphish@posteo.de>
|
||
;;; Copyright © 2019 Julien Lepiller <julien@lepiller.eu>
|
||
;;; Copyright © 2019, 2020 Jakub Kądziołka <kuba@kadziolka.net>
|
||
;;; Copyright © 2020, 2021 Jack Hill <jackhill@jackhill.us>
|
||
;;; Copyright © 2021 Simon Tournier <zimon.toutoune@gmail.com>
|
||
;;; Copyright © 2021 Tissevert <tissevert+guix@marvid.fr>
|
||
;;; Copyright © 2021 Foo Chuan Wei <chuanwei.foo@hotmail.com>
|
||
;;; Copyright © 2022, 2023 Luis Henrique Gomes Higino <luishenriquegh2701@gmail.com>
|
||
;;; Copyright © 2023 Charles Jackson <charles.b.jackson@protonmail.com>
|
||
;;; Copyright © 2023 Foundation Devices, Inc. <hello@foundationdevices.com>
|
||
;;; Copyright © 2023, 2024 Nguyễn Gia Phong <mcsinyx@disroot.org>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (gnu packages vim)
|
||
#:use-module ((guix licenses) #:prefix license:)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix gexp)
|
||
#:use-module (guix utils)
|
||
#:use-module (guix download)
|
||
#:use-module (guix git-download)
|
||
#:use-module (guix build-system cmake)
|
||
#:use-module (guix build-system copy)
|
||
#:use-module (guix build-system gnu)
|
||
#:use-module (guix build-system python)
|
||
#:use-module (guix build-system pyproject)
|
||
#:use-module (guix build-system vim)
|
||
#:use-module (gnu packages)
|
||
#:use-module (gnu packages acl)
|
||
#:use-module (gnu packages admin) ; For GNU hostname
|
||
#: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)
|
||
#:use-module (gnu packages gettext)
|
||
#:use-module (gnu packages glib)
|
||
#:use-module (gnu packages gperf)
|
||
#:use-module (gnu packages groff)
|
||
#:use-module (gnu packages gtk)
|
||
#:use-module (gnu packages image)
|
||
#:use-module (gnu packages jemalloc)
|
||
#:use-module (gnu packages libevent)
|
||
#:use-module (gnu packages linux)
|
||
#:use-module (gnu packages lisp-xyz)
|
||
#:use-module (gnu packages lua)
|
||
#:use-module (gnu packages ncurses)
|
||
#:use-module (gnu packages perl)
|
||
#:use-module (gnu packages pkg-config)
|
||
#:use-module (gnu packages python)
|
||
#:use-module (gnu packages python-xyz)
|
||
#:use-module (gnu packages ruby)
|
||
#:use-module (gnu packages serialization)
|
||
#:use-module (gnu packages shells)
|
||
#:use-module (gnu packages tcl)
|
||
#:use-module (gnu packages text-editors)
|
||
#:use-module (gnu packages terminals)
|
||
#:use-module (gnu packages tree-sitter)
|
||
#:use-module (gnu packages xdisorg)
|
||
#:use-module (gnu packages xorg))
|
||
|
||
(define-public vim
|
||
(package
|
||
(name "vim")
|
||
(version "9.1.0146")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/vim/vim")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"05lz8ai39p9ypk22n7qc7g21868m08pl12sn4028jshx5nxwy2zn"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:test-target "test"
|
||
#:parallel-tests? #f
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'configure 'patch-absolute-paths
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* '("src/testdir/Makefile"
|
||
"src/testdir/test_filetype.vim"
|
||
"src/testdir/test_normal.vim"
|
||
"src/testdir/test_popupwin.vim"
|
||
"src/testdir/test_prompt_buffer.vim"
|
||
"src/testdir/test_shell.vim"
|
||
"src/testdir/test_suspend.vim"
|
||
"src/testdir/test_terminal.vim"
|
||
"src/testdir/test_terminal2.vim")
|
||
(("/bin/sh") (which "sh")))
|
||
(substitute* "src/testdir/test_autocmd.vim"
|
||
(("/bin/kill") (which "kill")))
|
||
(substitute* '("runtime/syntax/sh.vim"
|
||
"src/if_cscope.c")
|
||
(("/bin/sh") (search-input-file inputs "/bin/sh")))))
|
||
(add-before 'check 'set-environment-variables
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
;; One of the tests tests timezone-dependent functions.
|
||
(setenv "TZDIR"
|
||
(search-input-directory inputs "share/zoneinfo"))
|
||
|
||
;; Make sure the TERM environment variable is set for the tests
|
||
(setenv "TERM" "xterm")))
|
||
(add-before 'check 'skip-or-fix-failing-tests
|
||
(lambda _
|
||
;; This test failure is shared between BSD and Guix.
|
||
(with-fluids ((%default-port-encoding #f))
|
||
(substitute* "src/testdir/test_writefile.vim"
|
||
(("!has\\('bsd'\\)") "0")))
|
||
|
||
;; These tests check how the terminal looks after executing some
|
||
;; actions. The path of the bash binary is shown, which results in
|
||
;; a difference being detected. Patching the expected result is
|
||
;; non-trivial due to the special format used, so skip the test.
|
||
(substitute* "src/testdir/test_messages.vim"
|
||
((".*Test_echo_verbose_system.*" line)
|
||
(string-append line "return\n")))
|
||
(substitute* "src/testdir/test_normal.vim"
|
||
((".*Test_mouse_shape_after_cancelling_gr.*" line)
|
||
(string-append line "return\n")))
|
||
(substitute* "src/testdir/test_terminal.vim"
|
||
((".*Test_open_term_from_cmd.*" line)
|
||
(string-append line "return\n"))
|
||
((".*Test_terminal_postponed_scrollback.*" line)
|
||
(string-append line "return\n"))
|
||
((".*Test_combining_double_width.*" line)
|
||
(string-append line "return\n")))
|
||
(substitute* "src/testdir/test_popupwin.vim"
|
||
((".*Test_popup_drag_termwin.*" line)
|
||
(string-append line "return\n")))
|
||
(with-fluids ((%default-port-encoding #f))
|
||
(substitute* "src/testdir/test_writefile.vim"
|
||
((".*Test_write_with_xattr_support.*" line)
|
||
(string-append line "return\n"))))))
|
||
(add-before 'install 'fix-installman.sh
|
||
(lambda _
|
||
(substitute* "src/installman.sh"
|
||
(("/bin/sh")
|
||
(which "sh")))))
|
||
(add-after 'install 'install-guix.vim
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((vimdir (string-append (assoc-ref outputs "out") "/share/vim")))
|
||
(mkdir-p vimdir)
|
||
(copy-file (assoc-ref inputs "guix.vim")
|
||
(string-append vimdir "/vimrc"))))))))
|
||
(inputs
|
||
(list gawk ncurses perl tcsh)) ; For runtime/tools/vim32
|
||
(native-inputs
|
||
`(("libtool" ,libtool)
|
||
("guix.vim" ,(search-auxiliary-file "guix.vim"))
|
||
|
||
;; For tests.
|
||
("tzdata" ,tzdata-for-tests)))
|
||
(home-page "https://www.vim.org/")
|
||
(synopsis "Text editor based on vi")
|
||
;; The description shares language with the vim-full package. When making
|
||
;; changes, check if the other description also needs to be updated.
|
||
(description
|
||
"Vim is a highly configurable text editor built to enable efficient text
|
||
editing. It is an improved version of the vi editor distributed with most UNIX
|
||
systems.
|
||
|
||
Vim is often called a \"programmer's editor,\" and so useful for programming
|
||
that many consider it an entire IDE. It's not just for programmers, though.
|
||
Vim is perfect for all kinds of text editing, from composing email to editing
|
||
configuration files.")
|
||
(license license:vim)))
|
||
|
||
(define-public xxd
|
||
(package (inherit vim)
|
||
(name "xxd")
|
||
(arguments
|
||
(list
|
||
#:make-flags #~(list (string-append "CC=" #$(cc-for-target)))
|
||
#:tests? #f ; there are none
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(delete 'configure)
|
||
(add-after 'unpack 'chdir
|
||
(lambda _
|
||
(chdir "src/xxd")))
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((bin (string-append (assoc-ref outputs "out") "/bin")))
|
||
(install-file "xxd" bin)))))))
|
||
(inputs `())
|
||
(native-inputs `())
|
||
(synopsis "Hexdump utility from vim")
|
||
(description "This package provides the Hexdump utility xxd that comes
|
||
with the editor vim.")))
|
||
|
||
(define-public vim-full
|
||
(package
|
||
(inherit vim)
|
||
(name "vim-full")
|
||
(arguments
|
||
`(#:configure-flags
|
||
(list (string-append "--with-lua-prefix="
|
||
(assoc-ref %build-inputs "lua"))
|
||
"--with-features=huge"
|
||
"--enable-python3interp=yes"
|
||
"--enable-perlinterp=yes"
|
||
"--enable-rubyinterp=yes"
|
||
"--enable-tclinterp=yes"
|
||
"--enable-luainterp=yes"
|
||
"--enable-cscope"
|
||
"--enable-sniff"
|
||
"--enable-multibyte"
|
||
"--enable-xim"
|
||
"--disable-selinux"
|
||
"--enable-gui")
|
||
,@(substitute-keyword-arguments (package-arguments vim)
|
||
((#:phases phases)
|
||
`(modify-phases ,phases
|
||
(add-before 'check 'start-xserver
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
;; Some tests require an X server, but does not start one.
|
||
(let ((xorg-server (assoc-ref inputs "xorg-server"))
|
||
(display ":1"))
|
||
(setenv "DISPLAY" display)
|
||
(zero? (system (string-append xorg-server "/bin/Xvfb "
|
||
display " &")))))))))))
|
||
(native-inputs
|
||
(modify-inputs (package-native-inputs vim)
|
||
(prepend pkg-config xorg-server-for-tests)))
|
||
(inputs
|
||
`(("acl" ,acl)
|
||
("at-spi2-core" ,at-spi2-core)
|
||
("attr" ,attr)
|
||
("cairo" ,cairo)
|
||
("fontconfig" ,fontconfig)
|
||
("freetype" ,freetype)
|
||
("gdk-pixbuf" ,gdk-pixbuf)
|
||
("gettext" ,gettext-minimal)
|
||
("glib" ,glib)
|
||
("gpm" ,gpm)
|
||
("gtk" ,gtk+-2)
|
||
("harfbuzz" ,harfbuzz)
|
||
("libice" ,libice)
|
||
("libpng" ,libpng)
|
||
("libsm" ,libsm)
|
||
("libx11" ,libx11)
|
||
("libxdmcp" ,libxdmcp)
|
||
("libxt" ,libxt)
|
||
("libxpm" ,libxpm)
|
||
("lua" ,lua)
|
||
("pango" ,pango)
|
||
("pixman" ,pixman)
|
||
("python-3" ,python)
|
||
("ruby" ,ruby)
|
||
("tcl" ,tcl)
|
||
,@(package-inputs vim)))
|
||
;; The description shares language with the vim package. When making
|
||
;; changes, check if the other description also needs to be updated.
|
||
(description "Vim is a highly configurable text editor built to enable efficient text
|
||
editing. It is an improved version of the vi editor distributed with most UNIX
|
||
systems.
|
||
|
||
Vim is often called a \"programmer's editor,\" and so useful for programming
|
||
that many consider it an entire IDE. It's not just for programmers, though.
|
||
Vim is perfect for all kinds of text editing, from composing email to editing
|
||
configuration files.
|
||
|
||
This package provides a version of Vim with many optional features enabled.
|
||
It includes a graphical interface, @command{gvim}, and support for plugins
|
||
written in the Python 3, Perl, Ruby, Tcl, and Lua programming languages.")))
|
||
|
||
(define-public vim-neocomplete
|
||
(package
|
||
(name "vim-neocomplete")
|
||
(version "2.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Shougo/neocomplete.vim")
|
||
(commit (string-append "ver." version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1h6sci5mhdfg6sjsjpi8l5li02hg858zcayiwl60y9j2gqnd18lv"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "neocomplete"))
|
||
(synopsis "Next generation completion framework for Vim")
|
||
(description
|
||
"@code{neocomplete}, an abbreviation of 'neo-completion with cache',
|
||
is a plugin for Vim.
|
||
It provides keyword completion system by maintaining a cache of keywords in
|
||
the current buffer. Neocomplete can be customized easily and has many more
|
||
features than Vim's built-in completion.")
|
||
(home-page "https://github.com/Shougo/neocomplete.vim/")
|
||
(license license:expat)))
|
||
|
||
;; There are no release tarballs.
|
||
(define-public vim-neosnippet-snippets
|
||
(let ((commit "8e2b1c0cab9ed9a832b3743dbb65e9966a64331a")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-neosnippet-snippets")
|
||
(version (string-append "0.0.0-" revision "." (string-take commit 7)))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Shougo/neosnippet-snippets")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"151wpvbj6jb9jdkbhj3b77f5sq7y328spvwfbqyj1y32rg4ifmc6"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "neosnippet")) ; Extends neosnippet
|
||
(synopsis "Snippets for neosnippet")
|
||
(description
|
||
"@code{neosnippet-snippets} provides standard snippets for the Vim plugin
|
||
@code{neosnippet}. Snippets are small templates for commonly used code that
|
||
you can fill in on the fly.")
|
||
(home-page "https://github.com/Shougo/neosnippet-snippets")
|
||
(license license:expat))))
|
||
|
||
;; The released tarball is too old for our Vim.
|
||
(define-public vim-neosnippet
|
||
(let ((commit "1bd7e23c79b73da16eb0c9469b25c376d3594583")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-neosnippet")
|
||
(version (string-append "4.2-" revision "." (string-take commit 7)))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Shougo/neosnippet.vim/")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0k80syscmpnj38ks1fq02ds59g0r4jlg9ll7z4qc048mgi35alw5"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "neosnippet"))
|
||
(synopsis "Snippet support for Vim")
|
||
(description
|
||
"@code{neosnippet}, is a plugin for Vim which adds snippet support to Vim.
|
||
Snippets are small templates for commonly used code that you can fill in on
|
||
the fly. To use snippets can increase your productivity in Vim a lot.
|
||
The functionality of this plug-in is quite similar to plug-ins like
|
||
@code{snipMate.vim} or @code{snippetsEmu.vim}. But since you can choose
|
||
snippets with the neocomplcache / neocomplete interface, you might have less
|
||
trouble using them, because you do not have to remember each snippet name.")
|
||
(home-page "https://github.com/Shougo/neosnippet.vim/")
|
||
(license license:expat))))
|
||
|
||
(define-public vim-scheme
|
||
(let ((commit "e22fc8e199ef52f2efacd08e71c3add90d83b375")
|
||
(revision "3"))
|
||
(package
|
||
(name "vim-scheme")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://git.foldling.org/vim-scheme.git")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"04h946vr4f8wxap3wzqs69y2v8n50g2zbk22jsg2kxr4c01z5cbw"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "vim-scheme"))
|
||
(synopsis "Scheme syntax for Vim")
|
||
(description
|
||
"@code{vim-scheme} provides Scheme support for Vim (R7RS and CHICKEN).")
|
||
(home-page "https://foldling.org/git/vim-scheme.git/")
|
||
(license license:unlicense))))
|
||
|
||
(define-public vim-luna
|
||
(let ((commit "633619953dcf8577168e255230f96b05f28d6371")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-luna")
|
||
(version (string-append "0.0.0-" revision "." (string-take commit 7)))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/notpratheek/vim-luna")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0ka3qbhsh8lix1vyj4678j7dnchkd8khhirrnn3aylxxf8fpqyg8"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "luna"))
|
||
(synopsis "Dark color theme for Vim")
|
||
(description
|
||
"@code{vim-luna} is a dark color theme for Vim.")
|
||
(home-page "https://github.com/notpratheek/vim-luna")
|
||
(license license:expat))))
|
||
|
||
;; There are no tarball releases.
|
||
(define-public vim-context-filetype
|
||
(let ((commit "5e85f8cae26806f391aefe2661791a6de53bcea2")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-context-filetype")
|
||
(version (string-append "0.0.0-" revision "." (string-take commit 7)))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/Shougo/context_filetype.vim")
|
||
(commit commit)))
|
||
(file-name (string-append name "-" version "-checkout"))
|
||
(sha256
|
||
(base32
|
||
"0alvrfhmd91zkd9h83s8wvgyq4iakcf6rybsyjd369qbgpcqky89"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "context_filetype"))
|
||
(synopsis "Context filetype library for Vim")
|
||
(description
|
||
"@code{vim-context-filetype} is context filetype library for Vim script.")
|
||
(home-page "https://github.com/Shougo/context_filetype.vim")
|
||
(license license:expat)))) ; ??? check again
|
||
|
||
(define-public vim-coqtail
|
||
(let ((commit "d77080e17787afe9ad0366d86327658da36febbb")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-coqtail")
|
||
(version (git-version "1.7.1" 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
|
||
"03qq50mas5dk3aj1rbv1f0x68rfa9b07cacj12sxp76sda9c0prz"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
`(#:plugin-name "coqtail"
|
||
#:vim ,vim-full ; Plugin needs Python 3.
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-before 'install 'check
|
||
(lambda* (#:key inputs native-inputs tests? vim? neovim?
|
||
#: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
|
||
(if vim?
|
||
"/share/vim/vimfiles"
|
||
"/share/nvim/site")
|
||
"/pack/guix/start/vader"))
|
||
(command `(,@(if vim? '("vim" "-E") '())
|
||
,@(if neovim? '("nvim" "--headless") '())
|
||
"-Nu" "vimrc"
|
||
"-c" "Vader! *.vader")))
|
||
(with-directory-excursion "tests/vim"
|
||
(when neovim?
|
||
(setenv "HOME" (getcwd)))
|
||
(setenv "VADER_PATH" vader-path)
|
||
(apply invoke command)))
|
||
|
||
;; 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-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 neovim-coqtail
|
||
(package
|
||
(inherit vim-coqtail)
|
||
(name "neovim-coqtail")
|
||
(synopsis "Interactive Coq proofs in Neovim")
|
||
(description "Coqtail enables interactive Coq proof development in Neovim
|
||
similar to CoqIDE or ProofGeneral.")
|
||
(native-inputs
|
||
(modify-inputs (package-native-inputs vim-coqtail)
|
||
(replace "vim-vader" neovim-vader)
|
||
(append python-minimal python-pynvim)))
|
||
(propagated-inputs
|
||
(modify-inputs (package-propagated-inputs vim-coqtail)
|
||
(append python-pynvim)))))
|
||
|
||
(define-public vim-fugitive
|
||
(package
|
||
(name "vim-fugitive")
|
||
(version "3.7")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/tpope/vim-fugitive")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "138290g2aph1jjhaza6biky5qi4ka6435s01bwxivllgb53g3irc"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "fugitive"))
|
||
(home-page "https://github.com/tpope/vim-fugitive")
|
||
(synopsis "Vim plugin to work with Git")
|
||
(description "Vim-fugitive is a wrapper for Vim that complements the
|
||
command window, where you can stage and review your changes before the next
|
||
commit or run any Git arbitrary command.")
|
||
(license license:vim))) ; distributed under the same license as vim
|
||
|
||
(define-public vim-airline
|
||
(package
|
||
(name "vim-airline")
|
||
(version "0.11")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/vim-airline/vim-airline")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1aksmr73648pvyc75pfdz28k2d4ky52rn7xiwcv7lz87q3vqld7k"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "airline"))
|
||
(synopsis "Statusline for Vim")
|
||
(description
|
||
"@code{vim-airline} is an extensible statusline for Vim.
|
||
It can be extended and costumized with themes, works with unicode fonts
|
||
and powerline symbols, etc.")
|
||
(home-page "https://github.com/vim-airline/vim-airline")
|
||
(license license:expat)))
|
||
|
||
;; There are no tarball releases.
|
||
(define-public vim-airline-themes
|
||
(let ((commit "e6f233231b232b6027cde6aebeeb18d9138e5324")
|
||
(revision "2"))
|
||
(package
|
||
(name "vim-airline-themes")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/vim-airline/vim-airline-themes")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1sb7nb7j7bz0pv1c9bgdy0smhr0jk2b1vbdv9yzghg5lrknpsbr6"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "airline-themes"))
|
||
(synopsis "Collection of themes for Vim-airline")
|
||
(description
|
||
"@code{vim-airline-themes} is a collection of themes for @code{vim-airline}.")
|
||
(home-page "https://github.com/vim-airline/vim-airline-themes")
|
||
(license license:expat))))
|
||
|
||
(define-public vim-syntastic
|
||
(package
|
||
(name "vim-syntastic")
|
||
(version "3.10.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/vim-syntastic/syntastic")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0j91f72jaz1s6aw1hpjiz30vk2ds2aqd9gisk91grsldy6nz6hhz"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "syntastic"))
|
||
(synopsis "Syntax checking plugin for Vim")
|
||
(description
|
||
"Vim-syntastic is a syntax checking plugin for Vim. It runs files through
|
||
external syntax checkers and displays any resulting errors to the user. This
|
||
can be done on demand, or automatically as files are saved. If syntax errors
|
||
are detected, the user is notified.")
|
||
(home-page "https://github.com/vim-syntastic/syntastic")
|
||
(license license:wtfpl2)))
|
||
|
||
(define-public neovim-syntastic
|
||
(package
|
||
(inherit vim-syntastic)
|
||
(name "neovim-syntastic")
|
||
(synopsis "Syntax checking plugin for Neovim")
|
||
(description
|
||
"Vim-syntastic is a syntax checking plugin for Neovim. It runs files through
|
||
external syntax checkers and displays any resulting errors to the user. This
|
||
can be done on demand, or automatically as files are saved. If syntax errors
|
||
are detected, the user is notified.")))
|
||
|
||
(define-public vim-solarized
|
||
(let ((commit "62f656a02f93c5190a8753159e34b385588d5ff3")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-solarized")
|
||
(version (git-version "1.0.0beta1" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/altercation/solarized")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0001mz5v3a8zvi3gzmxhi3yrsb6hs7qf6i497arsngnvj2cwn61d"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list
|
||
#:plugin-name "solarized"
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _
|
||
(chdir "vim-colors-solarized"))))))
|
||
(home-page "https://github.com/altercation/vim-colors-solarized")
|
||
(synopsis "Solarized color scheme for Vim")
|
||
(description
|
||
"This package provides the Solarized theme as a Vim color scheme.
|
||
|
||
Solarized is a 16-color palette comprising 8 monotones and 8 accent
|
||
colors. It was designed for use with both terminal and GUI applications, and
|
||
has a dark and a light mode.
|
||
|
||
Based on CIELAB lightness relationships between colors, this theme reduces
|
||
brightness contrast but retains contrasting hues based on colorwheel relations
|
||
for syntax highlighting readability.
|
||
|
||
It keeps the same selective contrast relationships and overall feel when
|
||
switching between the light and dark background modes.")
|
||
(license license:expat))))
|
||
|
||
(define-public vim-rainbow
|
||
(package
|
||
(name "vim-rainbow")
|
||
(version "5c8094b56568aeaeda9cc09b3ebc6d2ed95e1ad8")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/mason1920/rainbow")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1jya8wwlkmgs89hndrq6gsaskhk9g0fh62wdib8v9vz2x5g3738z"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list
|
||
#:plugin-name "rainbow"
|
||
#:mode "opt"
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'chdir
|
||
(lambda _
|
||
(chdir "opt/rainbow"))))))
|
||
(home-page "https://github.com/mason1920/rainbow")
|
||
(synopsis "Rainbow Parentheses Improved")
|
||
(description
|
||
"As everyone knows, the most complex codes were composed of a mass of different
|
||
kinds of parentheses (typically: lisp). This plugin will help you read these
|
||
codes by showing different levels of parentheses in different colors.")
|
||
(license license:asl2.0)))
|
||
|
||
(define-public editorconfig-vim
|
||
(package
|
||
(name "editorconfig-vim")
|
||
(version "1.1.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/editorconfig/editorconfig-vim")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0mp80bi2m56bb93szw87vy6q5s85yk9g91sl4pr51316rgdv5kkv"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list
|
||
#:plugin-name "editorconfig"
|
||
#:vim? #t))
|
||
(home-page "https://editorconfig.org/")
|
||
(synopsis "EditorConfig plugin for Vim")
|
||
(description "EditorConfig makes it easy to maintain the correct coding
|
||
style when switching between different text editors and between different
|
||
projects. The EditorConfig project maintains a file format and plugins for
|
||
various text editors which allow this file format to be read and used by those
|
||
editors.")
|
||
(license license:bsd-2)))
|
||
|
||
(define-public neovim-packer
|
||
(let ((commit "3a9f9801f683946b9f1047d8f4bf9946c29e927d")
|
||
(revision "0"))
|
||
(package
|
||
(name "neovim-packer")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/wbthomason/packer.nvim")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1xn08z3a21mgfvp5i1nv57jnldwxwnl5nkryiff3zc99b1mizigp"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "packer.nvim"))
|
||
(home-page "https://github.com/wbthomason/packer.nvim")
|
||
(synopsis "Plugin manager for Neovim")
|
||
(description
|
||
"This package provides a plugin manager for Neovim, inspired by Emacs's
|
||
@code{use-package}. It's written in Lua, supports Luarocks dependencies, and
|
||
is based on Vim's builtin plugin support.")
|
||
(license license:expat))))
|
||
|
||
(define-public neovim
|
||
(package
|
||
(name "neovim")
|
||
(version "0.9.5")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/neovim/neovim")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1j3z7jay0m6g06v04falrzr062g07xr4svbrc3hywlqi2h6rrvk5"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
(list #:modules
|
||
'((srfi srfi-26) (guix build cmake-build-system)
|
||
(guix build utils))
|
||
#:configure-flags
|
||
#~(list #$@(if (member (if (%current-target-system)
|
||
(gnu-triplet->nix-system (%current-target-system))
|
||
(%current-system))
|
||
(package-supported-systems luajit))
|
||
'()
|
||
'("-DPREFER_LUA:BOOL=YES")))
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'set-lua-paths
|
||
(lambda* _
|
||
(let* ((lua-version "5.1")
|
||
(lua-cpath-spec (lambda (prefix)
|
||
(let ((path (string-append
|
||
prefix
|
||
"/lib/lua/"
|
||
lua-version)))
|
||
(string-append
|
||
path
|
||
"/?.so;"
|
||
path
|
||
"/?/?.so"))))
|
||
(lua-path-spec (lambda (prefix)
|
||
(let ((path (string-append prefix
|
||
"/share/lua/"
|
||
lua-version)))
|
||
(string-append path "/?.lua;"
|
||
path "/?/?.lua"))))
|
||
(lua-inputs (list (or #$(this-package-input "lua")
|
||
#$(this-package-input "luajit"))
|
||
#$lua5.1-luv
|
||
#$lua5.1-lpeg
|
||
#$lua5.1-bitop
|
||
#$lua5.1-libmpack)))
|
||
(setenv "LUA_PATH"
|
||
(string-join (map lua-path-spec lua-inputs) ";"))
|
||
(setenv "LUA_CPATH"
|
||
(string-join (map lua-cpath-spec lua-inputs) ";"))
|
||
#t)))
|
||
(add-after 'unpack 'prevent-embedding-gcc-store-path
|
||
(lambda _
|
||
;; nvim remembers its build options, including the compiler with
|
||
;; its complete path. This adds gcc to the closure of nvim, which
|
||
;; doubles its size. We remove the reference here.
|
||
(substitute* "cmake.config/versiondef.h.in"
|
||
(("\\$\\{CMAKE_C_COMPILER\\}") "/gnu/store/.../bin/gcc"))
|
||
#t)))))
|
||
(inputs (list libuv-for-luv
|
||
msgpack
|
||
libtermkey
|
||
libvterm
|
||
unibilium
|
||
jemalloc
|
||
(if (member (if (%current-target-system)
|
||
(gnu-triplet->nix-system (%current-target-system))
|
||
(%current-system))
|
||
(package-supported-systems luajit))
|
||
luajit
|
||
lua-5.1)
|
||
lua5.1-luv
|
||
lua5.1-lpeg
|
||
lua5.1-bitop
|
||
lua5.1-libmpack
|
||
tree-sitter))
|
||
(native-inputs (list pkg-config gettext-minimal gperf))
|
||
(home-page "https://neovim.io")
|
||
(synopsis "Fork of vim focused on extensibility and agility")
|
||
(description
|
||
"Neovim is a project that seeks to aggressively
|
||
refactor Vim in order to:
|
||
|
||
@itemize
|
||
@item Simplify maintenance and encourage contributions
|
||
@item Split the work between multiple developers
|
||
@item Enable advanced external UIs without modifications to the core
|
||
@item Improve extensibility with a new plugin architecture
|
||
@end itemize
|
||
")
|
||
;; Neovim is licensed under the terms of the Apache 2.0 license,
|
||
;; except for parts that were contributed under the Vim license.
|
||
(license (list license:asl2.0 license:vim))))
|
||
|
||
(define-public eovim
|
||
(package
|
||
(name "eovim")
|
||
(version "0.2.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/jeanguyomarch/eovim/")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "06b7crmz3wvvq15ncl0jk20s8j1pmna2jin0k5y5n5qxpafbgp3k"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
'(#:tests? #false ;no tests
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'help-cmake-find-msgpack-c
|
||
(lambda _
|
||
;; Patch the build system so that it can find the modern
|
||
;; 'msgpack-c' named pkg-config file (see:
|
||
;; https://github.com/jeanguyomarch/eovim/issues/73).
|
||
(substitute* "cmake/Modules/FindMsgPack.cmake"
|
||
(("MSGPACK QUIET msgpack")
|
||
"MSGPACK QUIET msgpack-c msgpack"))))
|
||
(add-after 'configure 'reference-nvim
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(let ((nvim (search-input-file inputs "/bin/nvim")))
|
||
;; This substitution should change one line, and replaces the default
|
||
;; value in the struct of options with an absolute store reference.
|
||
(substitute* "../source/src/main.c"
|
||
(("(^[[:blank:]]+\\.nvim = \")nvim" _ start)
|
||
(string-append start nvim))))))
|
||
(add-before 'build 'set-home
|
||
(lambda _ (setenv "HOME" "/tmp"))))))
|
||
(native-inputs (list pkg-config))
|
||
(inputs (list efl msgpack-c neovim))
|
||
(home-page "https://github.com/jeanguyomarch/eovim/")
|
||
(synopsis "EFL GUI for Neovim")
|
||
(description "Graphical Neovim interface based on the @acronym{EFL, Enlightenment
|
||
Foundation Libraries} toolkit. Its features include customizable appearance
|
||
and support for fonts with ligatures.")
|
||
(license license:expat)))
|
||
|
||
(define-public vifm
|
||
(package
|
||
(name "vifm")
|
||
(version "0.13")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (list
|
||
(string-append "https://github.com/vifm/vifm/releases/download/v"
|
||
version "/vifm-" version ".tar.bz2")
|
||
(string-append "https://sourceforge.net/projects/vifm/files/vifm/"
|
||
"vifm-" version ".tar.bz2")))
|
||
(sha256
|
||
(base32
|
||
"0xahsjdimpqv75jlfnbh0d2mxn21s53xrv37x6npch3rk9s974hd"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
'(#:configure-flags '("--disable-build-timestamp")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'patch-source-shebangs 'patch-test-shebangs
|
||
(lambda _
|
||
(substitute* (cons* "data/vim/plugin/vifm.vim"
|
||
"src/cfg/config.c"
|
||
(find-files "tests" "\\.c$"))
|
||
(("/bin/sh") (which "sh"))
|
||
(("/bin/bash") (which "bash")))
|
||
;; This test segfaults
|
||
(substitute* "tests/Makefile"
|
||
((" menus misc") ""))))
|
||
(add-after 'install 'install-vim-plugin-files
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(vifm (string-append out "/share/vifm"))
|
||
(vimfiles (string-append
|
||
out "/share/vim/vimfiles/pack/guix/start/vifm")))
|
||
(copy-recursively (string-append vifm "/colors")
|
||
(string-append vimfiles "/colors"))
|
||
(copy-recursively (string-append vifm "/vim")
|
||
vimfiles)
|
||
(delete-file-recursively (string-append vifm "/vim"))))))))
|
||
(native-inputs
|
||
(list groff)) ; for the documentation
|
||
(inputs
|
||
(list libx11 ncurses perl))
|
||
(home-page "https://vifm.info/")
|
||
(synopsis "Flexible vi-like file manager using ncurses")
|
||
(description "Vifm is a file manager providing a @command{vi}-like usage
|
||
experience. It has similar keybindings and modes (e.g. normal, command line,
|
||
visual). The interface uses ncurses, thus vifm can be used in text-only
|
||
environments. It supports a wide range of features, some of which are known
|
||
from the @command{vi}-editor:
|
||
@enumerate
|
||
@item utf8 support
|
||
@item user mappings (almost like in @code{vi})
|
||
@item ranges in command
|
||
@item line commands
|
||
@item user defined commands (with support for ranges)
|
||
@item registers
|
||
@item operation undoing/redoing
|
||
@item fuse file systems support
|
||
@item trash
|
||
@item multiple files renaming
|
||
@item support of filename modifiers
|
||
@item colorschemes support
|
||
@item file name color according to file type
|
||
@item path specific colorscheme customization
|
||
@item bookmarks
|
||
@item operation backgrounding
|
||
@item customizable file viewers
|
||
@item handy @code{less}-like preview mode
|
||
@item filtering out and searching for files using regular expressions
|
||
@item one or two panes view
|
||
@end enumerate
|
||
With the package comes a plugin to use vifm as a vim file selector.")
|
||
(license license:gpl2+)))
|
||
|
||
(define-public python-pynvim
|
||
(package
|
||
(name "python-pynvim")
|
||
(version "0.4.2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "pynvim" version))
|
||
(sha256
|
||
(base32
|
||
"13qgwkqbx012j5spis1aw8rb120rw0zphgjy1j58irax8r6j1ikb"))))
|
||
(build-system python-build-system)
|
||
(propagated-inputs
|
||
(list python-greenlet python-msgpack))
|
||
(arguments
|
||
`(#:tests? #f))
|
||
(home-page "https://github.com/neovim/pynvim")
|
||
(synopsis "Python client and plugin host for neovim")
|
||
(description "Pynvim implements support for python plugins in neovim. It
|
||
also works as a library for connecting to and scripting neovim processes
|
||
through its msgpack-rpc API.")
|
||
(license license:asl2.0)))
|
||
|
||
(define-public python-neovim-remote
|
||
(package
|
||
(name "python-neovim-remote")
|
||
(version "2.5.1")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (pypi-uri "neovim-remote" version))
|
||
(sha256
|
||
(base32
|
||
"00kxlb3f1k7iaxzpsr07scavmnyg8c1jmicmr13mfk2lcdac6g2b"))))
|
||
(build-system pyproject-build-system)
|
||
(propagated-inputs (list python-psutil python-pynvim))
|
||
(home-page "https://github.com/mhinz/neovim-remote")
|
||
(synopsis "Control nvim processes using `nvr` commandline tool")
|
||
(description "This package provide a `nvr` command, which can open File in
|
||
remote nvim. Also allow opening files from within :terminal without starting
|
||
a nested nvim process.")
|
||
(license license:expat)))
|
||
|
||
(define-public vim-guix-vim
|
||
(package
|
||
(name "vim-guix-vim")
|
||
(version "0.4.0")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://git.sr.ht/~efraim/guix.vim")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"013yn2n2nsspk12bldkc9xn4z4kjx9rvracbllc8i1nngldckxd0"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "guix"))
|
||
(home-page "https://git.sr.ht/~efraim/guix.vim")
|
||
(synopsis "Guix integration in Vim")
|
||
(description "This package provides support for GNU Guix in Vim.")
|
||
(license license:vim)))
|
||
|
||
(define-public vim-asyncrun
|
||
(package
|
||
(name "vim-asyncrun")
|
||
(version "2.12.4")
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/skywind3000/asyncrun.vim")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0hyz3bgbwmg85534ab71w2sr6fj94mz498ayn9bvhn4g7y6c951n"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list
|
||
#:plugin-name "asyncrun"))
|
||
(home-page "https://github.com/skywind3000/asyncrun.vim")
|
||
(synopsis "Run Async Shell Commands in Vim")
|
||
(description "This plugin takes the advantage of new APIs in Vim 8 (and
|
||
NeoVim) to enable you to run shell commands in background and read output in the
|
||
quickfix window in realtime.")
|
||
(license license:expat)))
|
||
|
||
(define-public neovim-asyncrun
|
||
(package
|
||
(inherit vim-asyncrun)
|
||
(name "neovim-asyncrun")))
|
||
|
||
(define-public vim-dispatch
|
||
;; Last release was in June 2019.
|
||
(let ((commit "4c695bc052cad2ae6b980aebbe48d046466e27ae")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-dispatch")
|
||
(version (git-version "1.8" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/tpope/vim-dispatch")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"13c63n7gylny2s84k05cpl4cjn070d3qk6yagxny23yanz29hc15"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "dispatch"))
|
||
(home-page "https://github.com/tpope/vim-dispatch")
|
||
(synopsis "Asynchronous build and test dispatcher")
|
||
(description "Leverage the power of Vim's compiler plugins without being
|
||
bound by synchronicity. Kick off builds and test suites using one of several
|
||
asynchronous adapters (including tmux, screen, and a headless mode), and when
|
||
the job completes, errors will be loaded and parsed automatically.")
|
||
(license license:vim))))
|
||
|
||
(define-public neovim-dispatch
|
||
(package
|
||
(inherit vim-dispatch)
|
||
(name "neovim-dispatch")))
|
||
|
||
(define-public vim-gemini-vim
|
||
;; No releases have been tagged.
|
||
(let ((commit "f300c54174fc0db8fb68f1bc04307b58612e9630")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-gemini-vim")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://git.sr.ht/~torresjrjr/gemini.vim")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "05ffhhfahjqwxyrqmsinsahrs15wknzl2qbj8mznyv319mn2civ2"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "gemini"))
|
||
(home-page "https://git.sr.ht/~torresjrjr/gemini.vim")
|
||
(synopsis "Vim syntax highlighting plugin for Gemini")
|
||
(description "This Vim plugin provides a Vim syntax highlighting plugin
|
||
for Gemini Text, the text/gemini media type, as defined in the Gemini protocol
|
||
specification.")
|
||
(license license:gpl3))))
|
||
|
||
(define-public vim-eunuch
|
||
(let ((commit "33e875b31c8b811a0a47908884a5e2339106bbe8")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-eunuch")
|
||
(version (git-version "1.2" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/tpope/vim-eunuch")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"1xadb22kd40swmww0qxmmkcpcq6viy8l167pjck5q32hfngll5d3"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "eunuch"))
|
||
(home-page "https://github.com/tpope/vim-eunuch")
|
||
(synopsis "Vim sugar for the UNIX shell commands")
|
||
(description "Vim sugar for the UNIX shell commands that need it the most.
|
||
This package includes commands such as @code{SudoWrite} and @code{SudoEdit} and
|
||
help working on Vim buffers and the files they reference with one command.")
|
||
(license license:vim))))
|
||
|
||
(define-public vim-slime
|
||
;; No tagged releases.
|
||
(let ((commit "a522fed677e50175f52efc5848cc35209af33216")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-slime")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/jpalardy/vim-slime")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0k4b629jn6xlxyjxdl3cgm06v9dmx967rqnslv5m82c9kscwpyh4"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "vim-slime"))
|
||
(home-page "https://technotales.wordpress.com/2007/10/03/like-slime-for-vim/")
|
||
(synopsis "Vim plugin to give you some slime")
|
||
(description "SLIME is an Emacs plugin to turn Emacs into a Lisp IDE. You
|
||
can type text in a file, send it to a live REPL, and avoid having to reload all
|
||
your code every time you make a change. @code{Vim-slime} is an attempt at
|
||
getting some of these features into Vim. It works with any REPL and isn't tied
|
||
to Lisp.")
|
||
(license license:expat))))
|
||
|
||
(define-public vim-vlime
|
||
;; The last tag is very outdated.
|
||
(let ((commit "c1ac16c1a50bec4c30da87cd4ce2af12e26fb022")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-vlime")
|
||
(version (git-version "0.4.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/vlime/vlime")
|
||
(commit commit)))
|
||
(sha256
|
||
(base32 "1dfc1wyjsgkckrklkzvk4whaz3ahaka59rvm7rc724mabmk83pmp"))
|
||
(file-name (git-file-name name version))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
'(#:plugin-name "vlime"
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'symlink-files 'install-lisp-files
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(common-lisp (string-append out "/share/common-lisp")))
|
||
;; Create a symbolic link to the .asd file so that
|
||
;; (asdf:load-system "vlime") finds the system.
|
||
(copy-recursively "lisp" (string-append common-lisp "/source/vlime"))
|
||
(mkdir-p (string-append common-lisp "/systems/"))
|
||
(symlink (string-append common-lisp "/source/vlime/vlime.asd")
|
||
(string-append common-lisp "/systems/vlime.asd")))))
|
||
(add-after 'install 'symlink-files
|
||
(lambda* (#:key outputs plugin-name mode #:allow-other-keys)
|
||
(with-directory-excursion
|
||
(string-append (assoc-ref outputs "out")
|
||
"/share/vim/vimfiles/pack/guix/" mode "/" plugin-name)
|
||
(for-each (lambda (dir)
|
||
(symlink (string-append "./vim/" dir) dir))
|
||
(list "after" "autoload" "doc" "ftplugin" "syntax"))))))))
|
||
(propagated-inputs
|
||
(list cl-alexandria
|
||
cl-slime-swank
|
||
cl-usocket
|
||
cl-vom
|
||
cl-yason))
|
||
(home-page "https://github.com/vlime/vlime")
|
||
(synopsis "Common Lisp dev environment for Vim (and Neovim)")
|
||
(description "Vlime is similar to SLIME for Emacs and SLIMV for Vim. It
|
||
provides REPL integration, as well as omni-completions, cross reference
|
||
utilities, a nice inspector, debugger support, and many other great facilities
|
||
to aid you in your glorious Common Lisp hacking quest.")
|
||
(license license:expat))))
|
||
|
||
(define-public vim-paredit
|
||
;; The last tagged version is from August 2013.
|
||
(let ((commit "97d51d099523b37bb35cbcf3564cbfb46e66e4ec")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-paredit")
|
||
(version (git-version "0.9.11" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/kovisoft/paredit")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "07d5s20r0ssd7rir45vy0fqlci44gha1a81rcilgar227f3nw328"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "paredit"))
|
||
(home-page "https://github.com/kovisoft/paredit")
|
||
(synopsis "Vim plugin for structured editing of Lisp S-expressions")
|
||
(description
|
||
"Paredit performs structured editing of Lisp S-expressions in Vim.
|
||
@code{Paredit.vim} is similar to @code{paredit.el} for Emacs.")
|
||
;; License listed in plugin/paredit.vim.
|
||
(license license:public-domain))))
|
||
|
||
(define-public vim-surround
|
||
(package
|
||
(name "vim-surround")
|
||
(version "2.2")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/tpope/vim-surround")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1b0bd5m5lv1p4d299mrwjfs2gk0zqwyaqdaid9hs9yqlxnr8s5nf"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "surround"))
|
||
(home-page "https://github.com/tpope/vim-surround")
|
||
(synopsis "Vim plugin for easy quoting and parenthesizing")
|
||
(description
|
||
"Surround.vim is all about \"surroundings\": parentheses, brackets,
|
||
quotes, XML tags, and more. The plugin provides mappings to easily delete,
|
||
change and add such surroundings in pairs.")
|
||
(license license:vim)))
|
||
|
||
(define-public vim-gnupg
|
||
(package
|
||
(name "vim-gnupg")
|
||
(version "2.7.1")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "https://github.com/jamessan/vim-gnupg/releases/"
|
||
"download/v" version
|
||
"/vim-gnupg-v" version ".tar.gz"))
|
||
(sha256
|
||
(base32 "02w8lgyyh7wgxysvmmcf9ja5c06vrbyh3alzvv97x8cfhrp0skn7"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "vim-gnupg"))
|
||
(home-page "https://www.vim.org/scripts/script.php?script_id=3645")
|
||
(synopsis "Vim plugin for transparent editing of gpg encrypted files")
|
||
(description
|
||
"This script implements transparent editing of gpg encrypted files. The
|
||
filename must have a @code{.gpg}, @code{.pgp} or @code{.asc} suffix. When
|
||
opening such a file the content is decrypted, and the content will be encrypted
|
||
to all recipients before it is written. This script turns off viminfo,
|
||
swapfile, and undofile when editing encrypted files to increase security.")
|
||
(properties
|
||
'((release-monitoring-url . "https://github.com/jamessan/vim-gnupg/releases")))
|
||
(license license:gpl2+)))
|
||
|
||
(define-public vim-ctrlp
|
||
(package
|
||
(name "vim-ctrlp")
|
||
(version "1.81")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/ctrlpvim/ctrlp.vim")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0n68hg59h4rjn0ziqbsh5pr03l3kr98zk54659ny6vq107af1w96"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "ctrlp.vim"))
|
||
(home-page "https://ctrlpvim.github.io/ctrlp.vim/")
|
||
(synopsis "Fuzzy file, buffer, mru, tag, etc. finder for Vim")
|
||
(description
|
||
"CtrlP features:
|
||
@itemize
|
||
@item Written in pure Vimscript for MacVim, gVim and Vim 7.0+.
|
||
@item Full support for Vim's regexp as search patterns.
|
||
@item Built-in @acronym{Most Recently Used, MRU} files monitoring and search.
|
||
@item Built-in project's root finder.
|
||
@item Open multiple files at once.
|
||
@item Create new files and directories.
|
||
@item Execute Ex commands on an opening file (jump to a line, to a string or do
|
||
anything).
|
||
@item Optional cross-session caching and history allow for fast initialization.
|
||
@item Mappings and usage conform to Vim's conventions.
|
||
@end itemize")
|
||
(license license:vim)))
|
||
|
||
(define-public vim-mucomplete
|
||
(package
|
||
(name "vim-mucomplete")
|
||
(version "1.5.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/lifepillar/vim-mucomplete")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "054g80n09mmxxlh8xaic29bn8bgn3clvv732rymljdyvbj1mlhwd"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "MUcomplete"))
|
||
(home-page "https://github.com/lifepillar/vim-mucomplete")
|
||
(synopsis "MUcomplete is a minimalist autocompletion plugin for Vim")
|
||
(description
|
||
"MUcomplete is an implementation of chained (fallback) completion,
|
||
whereby several completion methods are attempted one after another until a
|
||
result is returned.")
|
||
(license license:expat)))
|
||
|
||
(define-public vim-gitgutter
|
||
(let ((commit "256702dd1432894b3607d3de6cd660863b331818")
|
||
(revision "1"))
|
||
(package
|
||
(name "vim-gitgutter")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/airblade/vim-gitgutter")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0zpa7cs59a8sq0k3frlf9flpf30jcn239yrpmv40r7nqvxzglbpl"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "gitgutter"))
|
||
(synopsis "Vim plugin which shows a git diff in the sign column")
|
||
(description
|
||
"A Vim plugin which shows a git diff in the sign column. It shows which
|
||
lines have been added, modified, or removed. You can also preview, stage, and
|
||
undo individual hunks; and stage partial hunks. The plugin also provides a hunk
|
||
text object. The signs are always up to date and the plugin never saves your
|
||
buffer.")
|
||
(home-page "https://github.com/airblade/vim-gitgutter")
|
||
(license license:expat))))
|
||
|
||
(define-public vim-characterize
|
||
(package
|
||
(name "vim-characterize")
|
||
(version "1.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/tpope/vim-characterize")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0ppsbsd696ih40d9f76mdl9sd9y7p2pvm65qmvq4b2zhkv4xbpxz"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "characterize"))
|
||
(home-page "https://github.com/tpope/vim-characterize")
|
||
(synopsis "Vim plugin for showing Unicode character metadata")
|
||
(description
|
||
"In Vim, pressing @code{ga} on a character reveals its representation in
|
||
decimal, octal, and hex. Characterize.vim modernizes this with the following
|
||
additions:
|
||
@itemize
|
||
@item Unicode character names: @code{U+00A9 COPYRIGHT SYMBOL}
|
||
@item Vim digraphs (type after @code{<C-K>} to insert the character):
|
||
@code{Co}, @code{cO}
|
||
@item Emoji codes: @code{:copyright:}
|
||
@item HTML entities: @code{©}
|
||
@end itemize")
|
||
(license license:vim)))
|
||
|
||
(define-public vim-tagbar
|
||
(package
|
||
(name "vim-tagbar")
|
||
(version "3.0.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/preservim/tagbar")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1fqfs8msmr6d4kpvxqp14sdjvp5fj52q5w5kz71myzcd4kqzmirp"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
'(#:plugin-name "tagbar"
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'link-universal-ctags
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(let ((ctags (assoc-ref inputs "universal-ctags")))
|
||
(substitute* "autoload/tagbar.vim"
|
||
(("(.*)universal-ctags']" all leader)
|
||
(string-append all "\n"
|
||
leader ctags "/bin/ctags']")))))))))
|
||
(inputs
|
||
(list universal-ctags))
|
||
(home-page "https://github.com/preservim/tagbar")
|
||
(synopsis "Vim plugin that displays tags in a window, ordered by scope")
|
||
(description
|
||
"Tagbar is a Vim plugin that provides an easy way to browse the tags of
|
||
the current file and get an overview of its structure. It does this by creating
|
||
a sidebar that displays the ctags-generated tags of the current file, ordered
|
||
by their scope. This means that for example methods in C++ are displayed under
|
||
the class they are defined in.")
|
||
(license license:vim)))
|
||
|
||
(define-public vim-nerdtree
|
||
(package
|
||
(name "vim-nerdtree")
|
||
(version "6.10.16")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/preservim/nerdtree")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1si8qla86ng8cffbmfrk9gss0i3912yw0f1ph4bsiq0kk837lccp"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "nerdtree"))
|
||
(home-page "https://github.com/preservim/nerdtree")
|
||
(synopsis "Tree explorer plugin for Vim")
|
||
(description
|
||
"The NERDTree is a file system explorer for the Vim editor. Using this
|
||
plugin, users can visually browse complex directory hierarchies, quickly open
|
||
files for reading or editing, and perform basic file system operations.")
|
||
(license license:wtfpl2)))
|
||
|
||
(define-public vim-nerdcommenter
|
||
(package
|
||
(name "vim-nerdcommenter")
|
||
(version "2.6.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/preservim/nerdcommenter")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1ka2rqn7rby55aps3iblh1dcqxm7m7qx72mpkz6y2aaj8mkj0zyd"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "nerdcommenter"))
|
||
(home-page "https://github.com/preservim/nerdcommenter")
|
||
(synopsis "Vim plugin for easy commenting of code")
|
||
(description
|
||
"NERD commenter is a Vim plugin that provides many different commenting
|
||
operations and styles which are invoked via key mappings and a menu. These
|
||
operations are available for most filetypes.")
|
||
(license license:cc0)))
|
||
|
||
(define-public vim-vader
|
||
(let ((revision "1")
|
||
(commit "429b669e6158be3a9fc110799607c232e6ed8e29"))
|
||
(package
|
||
(name "vim-vader")
|
||
(version (git-version "0.4.0" revision commit))
|
||
(source (origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/junegunn/vader.vim")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"0jf4gshr31c1i64f6qykqq17nsasfaljrqz41kzqcxw8fvra8y4c"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
'(#:plugin-name "vader"
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-before 'install 'check
|
||
(lambda* (#:key tests? vim? neovim? #:allow-other-keys)
|
||
(when tests?
|
||
;; FIXME: suite1.vader, suite2.vader and
|
||
;; highlight-after-comment.vader fail with unknown reasons,
|
||
;; lang-if.vader requires Python and Ruby.
|
||
(substitute* "test/vader.vader"
|
||
(("Include.*feature/suite1.vader.*$") "")
|
||
(("Include.*feature/suite2.vader.*$") "")
|
||
(("Include.*feature/lang-if.vader.*$") "")
|
||
(("Include.*regression/highlight-after-comment.vader.*$") ""))
|
||
|
||
(display "Running Vim tests\n")
|
||
(with-directory-excursion "test"
|
||
(when vim?
|
||
(setenv "VADER_TEST_VIM" "vim -E"))
|
||
(when neovim?
|
||
(setenv "VADER_TEST_VIM" "nvim --headless"))
|
||
(invoke "bash" "./run-tests.sh"))))))))
|
||
(home-page "https://github.com/junegunn/vader.vim")
|
||
(synopsis "Test framework for Vimscript")
|
||
(description "Vader is a test framework for Vimscript designed to
|
||
simplify the process of writing and running unit tests. Vader.vim provides an
|
||
intuitive test syntax for defining test cases and expectations, it also can
|
||
be integrated with @acronym{CI, Continuous Integration} pipelines to
|
||
automate testing and is compatible with Vim and Neovim.")
|
||
(license license:expat)))) ;; Specified in README.md.
|
||
|
||
(define-public neovim-vader
|
||
(package
|
||
(inherit vim-vader)
|
||
(name "neovim-vader")))
|
||
|
||
(define-public vim-jedi-vim
|
||
(package
|
||
(name "vim-jedi-vim")
|
||
(version "0.11.2")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/davidhalter/jedi-vim")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "03fj7f5cpchrdmz9szal6fdg05wdwb0j6260nnyp37nmpcpn13yc"))))
|
||
(build-system vim-build-system)
|
||
(arguments (list #:plugin-name "jedi-vim"))
|
||
(propagated-inputs (list python-jedi))
|
||
(home-page "https://github.com/davidhalter/jedi-vim")
|
||
(synopsis "Jedi autocompletion library for Vim")
|
||
(description
|
||
"@code{jedi-vim} is a VIM binding to the autocompletion library Jedi.")
|
||
(license license:expat)))
|
||
|
||
(define-public vim-srcery-vim
|
||
(package
|
||
(name "vim-srcery-vim")
|
||
(version "2.0.0")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/srcery-colors/srcery-vim")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0nwk81y9j5ljjm3k19kf1zmscdxiis4mwan026wv7cqp7f9qhxlr"))))
|
||
(build-system vim-build-system)
|
||
(arguments
|
||
(list #:plugin-name "srcery"
|
||
#:mode "opt"))
|
||
(home-page "https://srcery.sh")
|
||
(synopsis "Dark colorscheme for gvim and vim")
|
||
(description
|
||
"Srcery is a color scheme with clearly defined contrasting colors
|
||
and a slightly earthy tone.")
|
||
(license license:expat)))
|