amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: emacs-lean4-mode: Add data directory to output.

Browse source 
* gnu/packages/emacs-xyz.scm (emacs-lean4-mode)[arguments]<#:phases>[install-data]:
Add data directory to output.

Change-Id: I7c628bb8b0b0ba96246407f31618309b58abdc60
Signed-off-by: Danny Milosavljevic <dannym@friendly-machines.com>
This commit is contained in:
emma thompson 2025-05-09 20:09:58 +02:00 • committed by Danny Milosavljevic
parent 44d178265c
commit 43de5db0af
No known key found for this signature in database
GPG key ID: E71A35542C30BAA5
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
gnu/packages/emacs-xyz.scm
View file

@ -3110,6 +3110,15 @@ programs.")
"1i4l614n0hs02y0a4xfnzc4xkilkp6bzx28pys4jkp96vp2ivf0c"))))
(build-system emacs-build-system)
;; TODO: Just emacs-magit-section instead of emacs-magit would be enough.
(arguments
(list
#:phases
#~(modify-phases %standard-phases
(add-after 'install 'install-data
(lambda _
(let ((data (string-append (elpa-directory #$output) "/data")))
(mkdir-p data)
(copy-recursively "data" data)))))))
(propagated-inputs
(list emacs-compat emacs-lsp-mode emacs-dash emacs-magit))
(synopsis "Lean 4 major mode for Emacs")