From ae29c9d26ef1bf90e45783c3ccad2b693a010b99 Mon Sep 17 00:00:00 2001 From: Josselin Poiret Date: Wed, 8 Mar 2023 16:56:16 +0100 Subject: [PATCH] gnu: emacs-agda2-mode: Switch to G-Exps. * gnu/packages/agda.scm (emacs-agda2-mode): Switch it up. --- gnu/packages/agda.scm | 9 +++++---- 1 file 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 @@ (define-public emacs-agda2-mode (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