diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-03-08 16:56:16 +0100 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:32 +0200 |
| commit | ae29c9d26ef1bf90e45783c3ccad2b693a010b99 (patch) | |
| tree | 04a058614d945e36d4d4452b8120f576f7c9bce4 /gnu/packages/agda.scm | |
| parent | fe6c31e3338f73f94fcbe6fc6ff8b7543762060e (diff) | |
gnu: emacs-agda2-mode: Switch to G-Exps.
* gnu/packages/agda.scm (emacs-agda2-mode): Switch it up.
Diffstat (limited to 'gnu/packages/agda.scm')
| -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 |