From unknown Sun Jun 15 01:09:28 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#77972] [PATCH emacs-team] gnu: emacs-idris-mode: Customize and test. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: andrew@trop.in, csantosb@inventati.org, divya@subvertising.org, hako@ultrarare.space, ian@retrospec.tv, cox.katherine.e+guix@gmail.com, liliana.prikler@gmail.com, guix-patches@gnu.org Resent-Date: Mon, 21 Apr 2025 19:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 77972 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 77972@debbugs.gnu.org Cc: andrew@trop.in, csantosb@inventati.org, divya@subvertising.org, hako@ultrarare.space, ian@retrospec.tv, cox.katherine.e+guix@gmail.com, liliana.prikler@gmail.com X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: andrew@trop.in, csantosb@inventati.org, divya@subvertising.org, hako@ultrarare.space, ian@retrospec.tv, cox.katherine.e+guix@gmail.com, liliana.prikler@gmail.com Received: via spool by submit@debbugs.gnu.org id=B.17452639341270 (code B ref -1); Mon, 21 Apr 2025 19:33:02 +0000 Received: (at submit) by debbugs.gnu.org; 21 Apr 2025 19:32:14 +0000 Received: from localhost ([127.0.0.1]:38981 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u6wsI-0000KO-6r for submit@debbugs.gnu.org; Mon, 21 Apr 2025 15:32:14 -0400 Received: from lists.gnu.org ([2001:470:142::17]:38840) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u6wsF-0000Jq-3i for submit@debbugs.gnu.org; Mon, 21 Apr 2025 15:32:12 -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 1u6ws5-0006Ev-Em for guix-patches@gnu.org; Mon, 21 Apr 2025 15:32:01 -0400 Received: from mail-wm1-x344.google.com ([2a00:1450:4864:20::344]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1u6ws3-00043O-Ef for guix-patches@gnu.org; Mon, 21 Apr 2025 15:32:01 -0400 Received: by mail-wm1-x344.google.com with SMTP id 5b1f17b1804b1-43cebe06e9eso36205015e9.3 for ; Mon, 21 Apr 2025 12:31:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1745263917; x=1745868717; darn=gnu.org; h=to:content-transfer-encoding:mime-version:subject:date:from :message-id:from:to:cc:subject:date:message-id:reply-to; bh=dTSSJaoDaQPoppDHrn/qp5Z3KnGrPNuyNJCjjVr+Kdc=; b=ZLWWmdazDnPjWuSFlgaWeX0N37j+dwDO6so4tTNaaG0HhLKNfEUxPsKhbzsYEElxRt iib1rHtdSCbq8xzbzoOq1c09gEqj3LcpNIWyxBA5UhYp1qA45wa3APmSP6WVO+vlmB1w GOPbSBA7/fHP4Umpm4d6MOXXIXa79HhM03j5kYWnKqaSLVKAy+BWJO2PO4TfaIQ067sN gD8fISHP/JD/gU9N5d/Qx/RbPxJKQUTI4DTs0Oapt9X2UNjk7rodK1fMi92SOzqmF3QG ExO3knazhirHcTFLvQQtDdSfrgHznFV0VHYrzNurGzk0FktZLu3rXAR3Wv2CGPg5rI8E 6y9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745263917; x=1745868717; h=to:content-transfer-encoding:mime-version:subject:date:from :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=dTSSJaoDaQPoppDHrn/qp5Z3KnGrPNuyNJCjjVr+Kdc=; b=tCs00Dq1SbfMpMA+9pHqYTD3O4pp+Ruq0eE1jz31mg2cwLgbitXrnoiy7ZtITF3gfH +NSIHHTNg9gDxfyZz1pd/+k4eENYN5BACbgaZaNwyFnE1iWJOSbByxNz9p05L0hkrk94 R1iO5w7Jt2j+mr6tjheHljrr/Aw53mxkdaV7pnIDa5sNfpDsEYFSEJCCdoejKlH9icM4 4ANEFm2xo/boOiE8+kj4H4wx8dkFF8VNx1VL8gN0RenEl+4y049eHDkbFX5Zi2qt3mry iHpXAncS33tFrhKRhGVK0G012163IygMoskJqOJIIAlCoZRKtcyKgb/9RbVL+6gVv8hS zo0A== X-Gm-Message-State: AOJu0YxjpeQXMFupPSAc2SjJ3fecLz18YHgcCn3HElwX57xhHJd94IRa eV/9aloxb3FqF/pVA1I3ogEeI2iC54YwD+k/Bt1lOsq45cV2J8ovZXzQW1ZL X-Gm-Gg: ASbGnct/9ZK7X7Ii1NxzKJ67xEmVAfPKa9AVn1xLTOnnRYV7J+/n/nS9lW0R+b2ycVb NhX4sAmGNwtbQSl/ZmYHAXuKZEfDcEgnm452CSg//Zu4AZVp2/8saNwWZVgNtaEPgbcmCv/PqBt OUxxXfdoF9hmzZfD4ukijCks10R0FKYyOAqwpt3y2plfkFY6+itpPpdN5y4W2ln8n3ciJKGbgd0 p7eV7kx3uEbnP6oGDFPHvsNuynlaeDywW235KW3rNz1D/HM+iX50bpOmwZwYZJ3u3P8KgUtrwO+ Tf1kzcXtm0OFUi7zqCwl1goZEuD6E1kqX5Zg991udXKITuNQnmNrJXFUPHT7XGTdwNHWiBQ1MOK G4PGdbYDbgSUjJ2qGLP7aaPphDlg= X-Google-Smtp-Source: AGHT+IFUltTSXUiOK7rajOW0hNAE6JJUdDxorcvspa2fYb8ojDKBdz/HrHUUi/p2vJFe/C6FzU+D7A== X-Received: by 2002:a05:600c:1c07:b0:43c:f6c6:578c with SMTP id 5b1f17b1804b1-4406aba5a1amr127729185e9.15.1745263917310; Mon, 21 Apr 2025 12:31:57 -0700 (PDT) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-4406d5bbc07sm147731525e9.17.2025.04.21.12.31.56 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 21 Apr 2025 12:31:56 -0700 (PDT) Message-ID: From: Liliana Marie Prikler Date: Mon, 21 Apr 2025 21:29:54 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::344; envelope-from=liliana.prikler@gmail.com; helo=mail-wm1-x344.google.com X-Spam_score_int: 0 X-Spam_score: -0.0 X-Spam_bar: / X-Spam_report: (-0.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, FREEMAIL_FROM=0.001, MALFORMED_FREEMAIL=2.04, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_MXG_LOWER_HDR_SPAM=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.0 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[inputs]: Add idris. [arguments]: Add #:test-command. <#:phases>: Add =?UTF-8?Q?=E2=80=98customize=E2=80=99,?= =?UTF-8?Q?=E2=80=98set-home=E2=80=99,?= and =?UTF-8?Q?=E2=80=98skip-pre-check-build=E2=80=99.?= --- gnu/packages/e [...] Content analysis details: (3.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.0 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[inputs]: Add idris. [arguments]: Add #:test-command. <#:phases>: Add =?UTF-8?Q?=E2=80=98customize=E2=80=99,?= =?UTF-8?Q?=E2=80=98set-home=E2=80=99,?= and =?UTF-8?Q?=E2=80=98skip-pre-check-build=E2=80=99.?= --- gnu/packages/e [...] Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.0 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[inputs]: Add idris. [arguments]: Add #:test-command. <#:phases>: Add ‘customize’, ‘set-home’, and ‘skip-pre-check-build’. --- gnu/packages/emacs-xyz.scm | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 0b490def203..f7522f689f4 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -218,6 +218,7 @@ (define-module (gnu packages emacs-xyz) #:use-module (gnu packages graphviz) #:use-module (gnu packages haskell-apps) #:use-module (gnu packages ibus) + #:use-module (gnu packages idris) #:use-module (gnu packages java) #:use-module (gnu packages julia-xyz) #:use-module (gnu packages ncurses) @@ -23814,8 +23815,24 @@ (define-public emacs-idris-mode (base32 "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7")))) (build-system emacs-build-system) + (arguments (list #:test-command + #~(list "make" "test") + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'customize + (lambda* (#:key inputs #:allow-other-keys) + (emacs-substitute-variables "idris-settings.el" + ("idris-interpreter-path" + (search-input-file inputs "bin/idris"))))) + (add-before 'check 'set-home + (lambda _ (setenv "HOME" (getenv "TMPDIR")))) + (add-before 'check 'skip-pre-check-build + (lambda _ + (substitute* "Makefile" + ((": getdeps build") ":"))))))) (propagated-inputs (list emacs-prop-menu)) + (inputs (list idris)) (home-page "https://github.com/idris-hackers/idris-mode") (synopsis "Major mode for editing Idris code") base-commit: 4a3a206465fb0d7b2c444c43655ad744b195c5bf -- 2.49.0