bartronx7/guix
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-01-25 12:05:19 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: emacs-agda2-mode: Use '#:lisp-directory'.

Browse source 
* gnu/packages/agda.scm (emacs-agda2-mode): Use '#:lisp-directory'.

Change-Id: I8840159c4780d9bcc2e5e13615c353a3836cae10
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
This commit is contained in:
Morgan Smith 2025-03-02 17:15:11 -05:00 • committed by Liliana Marie Prikler
parent 00025ab4ac
commit 8f95bc1764
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/agda.scm
View file

@ -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