me/guix
Archived
1
0
Fork 0
Code Activity

gnu: emacs-agda2-mode: Switch to G-Exps.

Browse source 
* gnu/packages/agda.scm (emacs-agda2-mode): Switch it up.
This commit is contained in:
Josselin Poiret 2023-03-08 16:56:16 +01:00
parent fe6c31e333
commit ae29c9d26e
No known key found for this signature in database
GPG key ID: 505E40B916171A8A
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
gnu/packages/agda.scm
View file

@ -134,10 +134,11 @@ such as Coq, Epigram and NuPRL.")
(source (package-source agda)) (source (package-source agda))
(build-system emacs-build-system) (build-system emacs-build-system)
(arguments (arguments
`(#:phases (list
(modify-phases %standard-phases #:phases
(add-after 'unpack 'enter-elisp-dir #~(modify-phases %standard-phases
(lambda _ (chdir "src/data/emacs-mode") #t))))) (add-after 'unpack 'enter-elisp-dir
(lambda _ (chdir "src/data/emacs-mode"))))))
(home-page "https://agda.readthedocs.io/en/latest/tools/emacs-mode.html") (home-page "https://agda.readthedocs.io/en/latest/tools/emacs-mode.html")
(synopsis "Emacs mode for Agda") (synopsis "Emacs mode for Agda")
(description "This Emacs mode enables interactive development with (description "This Emacs mode enables interactive development with