guix_mirror_bot pushed a commit to branch emacs-team
in repository guix.
commit 746b21343fe4c2eb6fdd477eafeccda6f5a24c74
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 4fb6aac31a..23dfe70654 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -3212,9 +3212,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
@@ -3222,6 +3222,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")
