diff options
author | Cayetano Santos <csantosb@inventati.org> | 2023-02-06 20:12:11 +0100 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-02-07 15:10:04 +0100 |
commit | 74f5a0d8f2d9edf5b99115ac8793063b5894f796 (patch) | |
tree | 35c10bfd1beb1111ada88bd26ba67e2e819e68a8 /gnu | |
parent | f55cc9cb0fb6c5dd56196009681e042c1aef415d (diff) |
gnu: Add emacs-langtool.
* gnu/packages/emacs-xyz.scm (emacs-langtool): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/emacs-xyz.scm | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index d30696c7be..852fe6e7c5 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -24549,6 +24549,34 @@ the GIF result.") on-line service.") (license license:gpl3+))) +(define-public emacs-langtool + (package + (name "emacs-langtool") + (version "2.3.7") + (source + (origin + (method git-fetch) + (uri + (git-reference + (url "https://github.com/mhayashi1120/Emacs-langtool") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0vzs3hkhmvdrbii1hmg87brddpjfmqfqykf7a2hnwmdbkihiwwk9")))) + (build-system emacs-build-system) + (arguments + (list + #:tests? #true + #:test-command #~(list "make" "test"))) + (propagated-inputs (list emacs-popup)) + (home-page "https://github.com/mhayashi1120/Emacs-langtool") + (synopsis "Emacs interface to LanguageTool") + (description + "Emacs Langtool offers a frontend to @url{https://languagetool.org, +LanguageTool} server.") + (license license:gpl3+))) + (define-public emacs-lingva (let ((commit "6c33594068fa33de622172503deeec6778d9c744") (revision "1")) |