diff options
| -rw-r--r-- | gnu/packages/agda.scm | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 9dfcc907ec..d6c2e1e231 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -134,10 +134,11 @@ such as Coq, Epigram and NuPRL.") (source (package-source agda)) (build-system emacs-build-system) (arguments - `(#:phases - (modify-phases %standard-phases - (add-after 'unpack 'enter-elisp-dir - (lambda _ (chdir "src/data/emacs-mode") #t))))) + (list + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'enter-elisp-dir + (lambda _ (chdir "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 |