guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 8f94254bd033c8647126e906aa5e76f7eddc845c
Author: Liliana Marie Prikler <[email protected]>
AuthorDate: Sat Apr 5 11:40:42 2025 +0200
gnu: emacs-lean4-mode: Skip tests.
* gnu/packages/emacs-xyz.scm (emacs-lean4-mode)[arguments]: Add #:tests? #f.
---
gnu/packages/emacs-xyz.scm | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 9a9ffe4ab6..4004d58a49 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -3207,9 +3207,9 @@ programs.")
(base32
"1i4l614n0hs02y0a4xfnzc4xkilkp6bzx28pys4jkp96vp2ivf0c"))))
(build-system emacs-build-system)
- ;; TODO: Just emacs-magit-section instead of emacs-magit would be enough.
(arguments
(list
+ #:tests? #f ; no tests
#:phases
#~(modify-phases %standard-phases
(add-after 'install 'install-data
@@ -3217,6 +3217,7 @@ programs.")
(let ((data (string-append (elpa-directory #$output) "/data")))
(mkdir-p data)
(copy-recursively "data" data)))))))
+ ;; TODO: Just emacs-magit-section instead of emacs-magit would be enough.
(propagated-inputs
(list emacs-compat emacs-lsp-mode emacs-dash emacs-magit))
(synopsis "Lean 4 major mode for Emacs")
