From 43de5db0af03f118c10cef43dc3966ff8eabec0e Mon Sep 17 00:00:00 2001 From: emma thompson Date: Fri, 9 May 2025 20:09:58 +0200 Subject: [PATCH] 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 --- gnu/packages/emacs-xyz.scm | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 97e9c75eb1e9cf1ee7616cbea895dd4fc4fefc9a..0994c15f3a5a8b4d3d044abace89b7b10f62d226 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")