From patchwork Wed May 7 02:25:07 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: emma X-Patchwork-Id: 42361 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 9034827BC4B; Wed, 7 May 2025 03:26:18 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-7.3 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_MSPIKE_H2,RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL, RCVD_IN_VALIDITY_SAFE,SPF_HELO_PASS,TRACKER_ID,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id B982827BC49 for ; Wed, 7 May 2025 03:26:17 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1uCUU1-0007yJ-02; Tue, 06 May 2025 22:26:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uCUTz-0007uL-7n for guix-patches@gnu.org; Tue, 06 May 2025 22:26:03 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1uCUTy-0008WG-Tr for guix-patches@gnu.org; Tue, 06 May 2025 22:26:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:From:Date:To:Subject; bh=gJDQS4uyCXUIC8f37Rx/82Mr5vc41sHEPiTzKaGN1pE=; b=X12DuzBXQDvIwB2bnDFOvvMhB4ssa9CWpYFD8nYM3+2yzDd4R74lVAZF1RZb42Qo6J0EwCy33D+DpC/eQaKc9AgndVn+ciIxrprxPfkxl2fYF1wLrsBt0MFqhkdJ5MkN0UYfRi26fkCvDcABesMCPs7B7fl/TCeC8PqmdsvjRlxzKNpeMt9CAMwT+R8gZpgiz/Sz3Vsew02a9U9MGbNBvdAjbmbakIx5SgeJcoZYUi4oULobM7hrIzTai8rSY4ZmzLxBRuV3DlqTiy7Sd3fxmRWauFUAY6OOL/IPNQg5+YeQPNdiGP+pKm8SKxDs52VV2gD7VYI79ItJOWlBb45Svg==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1uCUTy-0008W9-Nw for guix-patches@gnu.org; Tue, 06 May 2025 22:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78289] [PATCH] gnu: emacs-lean4-mode: add data dir to output Resent-From: emma Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 07 May 2025 02:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 78289 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78289@debbugs.gnu.org X-Debbugs-Original-To: "guix-patches@gnu.org" Received: via spool by submit@debbugs.gnu.org id=B.174658474432696 (code B ref -1); Wed, 07 May 2025 02:26:02 +0000 Received: (at submit) by debbugs.gnu.org; 7 May 2025 02:25:44 +0000 Received: from localhost ([127.0.0.1]:37105 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uCUTf-0008VG-P6 for submit@debbugs.gnu.org; Tue, 06 May 2025 22:25:44 -0400 Received: from lists.gnu.org ([2001:470:142::17]:36488) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uCUTd-0008Un-3Z for submit@debbugs.gnu.org; Tue, 06 May 2025 22:25:41 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uCUTV-0007fU-O2 for guix-patches@gnu.org; Tue, 06 May 2025 22:25:34 -0400 Received: from mail-0301.mail-europe.com ([188.165.51.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uCUTN-0008Qn-B0 for guix-patches@gnu.org; Tue, 06 May 2025 22:25:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=proton.me; s=protonmail; t=1746584710; x=1746843910; bh=gJDQS4uyCXUIC8f37Rx/82Mr5vc41sHEPiTzKaGN1pE=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector: List-Unsubscribe:List-Unsubscribe-Post; b=WA21Cg/Xztx0dnxbJHkxaIAVLAP2CPsEJwQa8ZPt3pKlZHj7M9vso9u1JKNc9SjD7 Sh6Zy2uc0aJrEfmlm/u/XS3wnGDliE0Qtx+7FqUoTlcbIozfk4yXIxFCQIfPwgq56L sUO2mvZp2k1vM763uwxXDViuXMcTrHml7s3BTNuC7tEqE9LdTnNYfCCDdwydzBxUVf y75PkQfB8CwdpBYxffJ4YmYexv6xM+I5yqBErV77aXzbKL58nUuz1LytcALiqo2sei vjTJGSAjmWz3sef/dqMcIV8GfN9UymEaiYSGMacjjn9fXDMAsxdxHr/RvP4pIarEuK G5P47cLdBYBhg== Date: Wed, 07 May 2025 02:25:07 +0000 Message-ID: <1HUYNQgod6lNoiX8xtp9sYqMgPNxsmu-kvTImq7CCxolhmPs-M6Y_BBsgvVVzLDkEksi_WArDSB88myBvxMh60xJVqkC-3ZqkEtBe6t0lBQ=@proton.me> Feedback-ID: 84785949:user:proton X-Pm-Message-ID: f908e5409b7b8ba3c2921a3b4558d07728c7fd37 MIME-Version: 1.0 Received-SPF: pass client-ip=188.165.51.139; envelope-from=bigbookofbug@proton.me; helo=mail-0301.mail-europe.com X-Spam_score_int: -19 X-Spam_score: -2.0 X-Spam_bar: -- X-Spam_report: (-2.0 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, TRACKER_ID=0.1 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: emma X-ACL-Warn: , emma via Guix-patches X-Patchwork-Original-From: emma via Guix-patches via From: emma Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/emacs-xyz.scm | 11 +++++++++++ 1 file changed, 11 insertions(+) base-commit: d110f7dd006f4e47aa56de3cdaf5bb4b82eb5ca2 --- 2.49.0 emma (bigbookofbug) EF515F7D600717781DF9AB2E0FB1CF2867A117F5 Sent with [Proton Mail](https://proton.me/mail/home) secure email. diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 50a6f4c386..fd919aa210 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -3081,6 +3081,17 @@ (define-public emacs-lean4-mode ;; TODO: Just emacs-magit-section instead of emacs-magit would be enough. (propagated-inputs (list emacs-compat emacs-lsp-mode emacs-dash emacs-magit)) + (arguments + (list + #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-data + (lambda _ + (let ((data (string-append #$output + "/share/emacs/site-lisp/" + "lean4-mode-1.1.2/data"))) + (mkdir-p data) + (copy-recursively "data" data))))))) (synopsis "Lean 4 major mode for Emacs") (description "This package provides a major mode for the Lean theorem prover, version 4.")