GNU bug report logs - #77972
[PATCH emacs-team] gnu: emacs-idris-mode: Customize and test.

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Mon, 21 Apr 2025 19:33:02 UTC

Severity: normal

Tags: patch

To reply to this bug, email your comments to 77972 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to andrew <at> trop.in, csantosb <at> inventati.org, divya <at> subvertising.org, hako <at> ultrarare.space, ian <at> retrospec.tv, cox.katherine.e+guix <at> gmail.com, liliana.prikler <at> gmail.com, guix-patches <at> gnu.org:
bug#77972; Package guix-patches. (Mon, 21 Apr 2025 19:33:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Liliana Marie Prikler <liliana.prikler <at> gmail.com>:
New bug report received and forwarded. Copy sent to andrew <at> trop.in, csantosb <at> inventati.org, divya <at> subvertising.org, hako <at> ultrarare.space, ian <at> retrospec.tv, cox.katherine.e+guix <at> gmail.com, liliana.prikler <at> gmail.com, guix-patches <at> gnu.org. (Mon, 21 Apr 2025 19:33:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH emacs-team] gnu: emacs-idris-mode: Customize and test.
Date: Mon, 21 Apr 2025 21:29:54 +0200

* gnu/packages/emacs-xyz.scm (emacs-idris-mode)[inputs]: Add idris.
[arguments]: Add #:test-command.
<#:phases>: Add ‘customize’, ‘set-home’, and ‘skip-pre-check-build’.
---
 gnu/packages/emacs-xyz.scm | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 0b490def203..f7522f689f4 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -218,6 +218,7 @@ (define-module (gnu packages emacs-xyz)
   #: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)
@@ -23814,8 +23815,24 @@ (define-public emacs-idris-mode
           (base32
            "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7"))))
       (build-system emacs-build-system)
+      (arguments (list #:test-command
+                       #~(list "make" "test")
+                       #:phases
+                       #~(modify-phases %standard-phases
+                           (add-after 'unpack 'customize
+                             (lambda* (#:key inputs #:allow-other-keys)
+                               (emacs-substitute-variables "idris-settings.el"
+                                 ("idris-interpreter-path"
+                                  (search-input-file inputs "bin/idris")))))
+                           (add-before 'check 'set-home
+                             (lambda _ (setenv "HOME" (getenv "TMPDIR"))))
+                           (add-before 'check 'skip-pre-check-build
+                             (lambda _
+                               (substitute* "Makefile"
+                                 ((": getdeps build") ":")))))))
       (propagated-inputs
        (list emacs-prop-menu))
+      (inputs (list idris))
       (home-page
        "https://github.com/idris-hackers/idris-mode")
       (synopsis "Major mode for editing Idris code")

base-commit: 4a3a206465fb0d7b2c444c43655ad744b195c5bf
-- 
2.49.0
This bug report was last modified 2 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.