guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 1a1cb46d1e3f4f5dbb127eeca36532a2dc82187f
Author: Nicolas Graves <[email protected]>
AuthorDate: Sun Apr 27 16:52:51 2025 +0200
gnu: emacs-idris-mode: Partially enable tests.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode):
[arguments]<phases>: Add phase 'patch-test, and replace phase
'check.
[native-inputs]: Add idris.
Signed-off-by: Liliana Marie Prikler <[email protected]>
---
gnu/packages/emacs-xyz.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index f48ba8ca8a..3ac9e0d8b5 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -221,6 +221,7 @@
#:use-module (gnu packages graphviz)
#:use-module (gnu packages haskell-apps)
#:use-module (gnu packages ibus)
+ #:use-module (gnu packages idris)
#:use-module (gnu packages java)
#:use-module (gnu packages julia-xyz)
#:use-module (gnu packages ncurses)
@@ -24287,6 +24288,28 @@ key. Optionally, a mouse pop-up can be added by
binding
(base32
"1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7"))))
(build-system emacs-build-system)
+ (arguments
+ (list #:phases
+ #~(modify-phases %standard-phases
+ (add-after 'unpack 'patch-tests
+ (lambda _
+ (substitute* "Makefile"
+ (("^test(|2|3): getdeps build" all n)
+ (string-append "test" n ":" )))))
+ (replace 'check
+ (lambda* (#:key tests? #:allow-other-keys)
+ (if tests?
+ (begin
+ (setenv "HOME" (dirname (getcwd)))
+ (invoke "make" "test")
+ ;; XXX: History file not writable
+ ;; (invoke "make" "test2")
+ ;; XXX: Error reading from stdin
+ ;; (invoke "make" "test3")
+ )
+ (format #t "test suite not run.~%")))))))
+ (native-inputs
+ (list idris))
(propagated-inputs
(list emacs-prop-menu))
(home-page
