diff options
| author | emma thompson <bigbookofbug@proton.me> | 2025-05-09 20:09:58 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-05-09 20:12:04 +0200 |
| commit | 43de5db0af03f118c10cef43dc3966ff8eabec0e (patch) | |
| tree | 868c2a68f2118651dbeb031783038b5cf756a52f /gnu/packages | |
| parent | 44d178265c23834a6050de06863cd0fcde64e4f8 (diff) | |
gnu: emacs-lean4-mode: Add data directory to output.
* 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>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/emacs-xyz.scm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 97e9c75eb1e..0994c15f3a5 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -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") |