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-idris-mode: Partially enable tests.

Browse source 
* 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 <liliana.prikler@gmail.com>
This commit is contained in:
Nicolas Graves 2025-04-27 16:52:51 +02:00 • committed by Liliana Marie Prikler
parent 04d35438d0
commit 1a1cb46d1e
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 23 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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