amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: emacs-lean4-mode: Skip tests.

Browse source 
* gnu/packages/emacs-xyz.scm (emacs-lean4-mode)[arguments]: Add #:tests? #f.
This commit is contained in:
Liliana Marie Prikler 2025-04-05 11:40:42 +02:00
parent 07dcaec1d5
commit 8f94254bd0
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
gnu/packages/emacs-xyz.scm
View file

@ -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")