guix_mirror_bot pushed a commit to branch master
in repository guix.
commit eb48c7db267753d2293602f9ae660ab28c3106c1
Author: Andreas Enge <[email protected]>
AuthorDate: Mon Jan 5 16:45:06 2026 +0100
gnu: Remove emacs-idris-mode.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Delete variable.
Change-Id: I015d2a9d9d4ec44fe09846f53f123d9a5f7fab4e
---
gnu/packages/emacs-xyz.scm | 49 ----------------------------------------------
1 file changed, 49 deletions(-)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 36a025ba8b..6d66565d25 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -25741,55 +25741,6 @@ key. Optionally, a mouse pop-up can be added by
binding
@code{prop-menu-show-menu} to a mouse event.")
(license license:gpl3+)))
-(define-public emacs-idris-mode
- (let ((commit "9bc7697406f719258d93835df3c1761efbfecaa7")
- (revision "1"))
- (package
- (name "emacs-idris-mode")
- (version (git-version "1.0" revision commit))
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/idris-hackers/idris-mode";)
- (commit commit)))
- (file-name (git-file-name name commit))
- (sha256
- (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
- "https://github.com/idris-hackers/idris-mode";)
- (synopsis "Major mode for editing Idris code")
- (description
- "This is an Emacs mode for editing Idris code. It is compatible with
-the latest versions of Idris 1.")
- (license license:gpl3+))))
-
(define-public emacs-browse-at-remote
(package
(name "emacs-browse-at-remote")
