diff options
| -rw-r--r-- | gnu/packages/agda.scm | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index c20549888d8..ff232784690 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 |