lilyp pushed a commit to branch emacs-team
in repository guix.
commit b76abbdf1276a1cf208b67c81f7ce3f61003be7f
Author: Morgan Smith <[email protected]>
AuthorDate: Sun Mar 2 17:15:11 2025 -0500
gnu: emacs-agda2-mode: Use '#:lisp-directory'.
* gnu/packages/agda.scm (emacs-agda2-mode): Use '#:lisp-directory'.
Change-Id: I8840159c4780d9bcc2e5e13615c353a3836cae10
Signed-off-by: Liliana Marie Prikler <[email protected]>
---
gnu/packages/agda.scm | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index c20549888d..ff23278469 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -150,10 +150,7 @@ such as Coq, Epigram and NuPRL.")
(build-system emacs-build-system)
(arguments
(list
- #:phases
- #~(modify-phases %standard-phases
- (add-after 'unpack 'enter-elisp-dir
- (lambda _ (chdir "src/data/emacs-mode"))))))
+ #:lisp-directory "src/data/emacs-mode"))
(home-page "https://agda.readthedocs.io/en/latest/tools/emacs-mode.html";)
(synopsis "Emacs mode for Agda")
(description "This Emacs mode enables interactive development with
