From debbugs-submit-bounces@debbugs.gnu.org Mon Apr 21 15:32:14 2025 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 Subject: [PATCH emacs-team] gnu: emacs-idris-mode: Customize and test. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Debbugs-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 to: guix-patches@gnu.org 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 ‘customize’, ‘set-home’, and ‘skip-pre-check-build’. --- 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-Debbugs-Envelope-To: submit 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 ‘customize’, ‘set-home’, and ‘skip-pre-check-build’. --- 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 From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 01 13:23:57 2025 Received: (at control) by debbugs.gnu.org; 1 Sep 2025 17:23:57 +0000 Received: from localhost ([127.0.0.1]:58394 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ut8G5-0002oM-1A for submit@debbugs.gnu.org; Mon, 01 Sep 2025 13:23:57 -0400 Received: from mail-ej1-x641.google.com ([2a00:1450:4864:20::641]:42265) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1ut8G3-0002o7-3J for control@debbugs.gnu.org; Mon, 01 Sep 2025 13:23:55 -0400 Received: by mail-ej1-x641.google.com with SMTP id a640c23a62f3a-b042cc397dcso151186666b.1 for ; Mon, 01 Sep 2025 10:23:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1756747428; x=1757352228; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:date:to:from :subject:message-id:from:to:cc:subject:date:message-id:reply-to; bh=cF6fDnW0gsYrTlVMyfaTwZRHZ5bJhboCcQXG7XB9P28=; b=AMdYxgcUcOXfAKkzJ6Hl9n2cfU7TlBSnvY0kZwqp7jXqKmpVefkqBUVi/8t71WL5Ev Op6It0pV2EHfpi+/hD69mJ7FFR9G0ay43ARb4uXeXL7QsIUJVTvgvHdD2ALOpfMcrFWJ slZM7WxpXNsbIoQ3Wt4+u+02PVVgMnotjUYiOzd2PqWQL3n2w3A/WhgfNMz9j0bAOcFK Yjyrf/gJW94n2zJjvJ4jphqhPxCW2KCOG/09jQNYZbLxSLeIBhyLQfZRlfcvh3/S/wm+ fUzC3SasXfOUaRs5l/Jh0G7BjH7eIW1ISnq2dcwd1G4I2JX6q/tClrW+VwZdHu0HQR2P Xisw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1756747428; x=1757352228; h=mime-version:user-agent:content-transfer-encoding:date:to:from :subject:message-id:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=cF6fDnW0gsYrTlVMyfaTwZRHZ5bJhboCcQXG7XB9P28=; b=JDBoroLJtYlZxbyEDrv9pHPG/ioik4kARhfKJPEwsls8yITRsVzu0YDoX/Mh8SOfVw hKcCjoI5UOaRFIRwxLYN2ioJ7YKkwKkFmhA1uyoLgZ4wAqflAUiGddz6RfS0ILFXRjb0 wC1DH1GYX/Gt3hn6OnvNTd8T6q0RaKJVKleRz4sWAKi7DDnk2sbH9my71xl6Qu3K3zIc Ym5Mm/09s70W3Un1WH7Sb8Yhu68YPOpOlmLUtgXuLNb35izeskkaBkLddQZ2KRAfMHQR Snhh2frOkQGvqKyewLBi4h3Wx6dcjfYBz+zB8rEBRcQW/z2DfAOQuk6wkquZ7rSFtHf0 25nA== X-Gm-Message-State: AOJu0YzWPVQbGJkr0qT05+Mad2a1ctAfcB5Ek6z4r3Wrb/HkQn1ROhvu UCFfFcC0Gx4s0cXAW17qtqBuei7ihePaXac6N4cKfFFcr1Nf0hlultZtCeIKhgW+ X-Gm-Gg: ASbGncu04ap7Ow0FVZuR54+cqxnAOtHbErA9I9jbEPPTxb8eOQDqpLc0bjMahZeVBf6 oiDah7r/vZ+iCQsScPP51iPbUkrk1nLknUPd41LkLlOFiDqkqzoEtcIQOtiEx7Ou7HE3FjzrZgM eUOMvPXD5oaT2CrqndSt+UtSo4MGihpiCeqGjyceAfDFA/WQ7rrfv7ls4wZbKxvk16SJG1hJ5R8 RJ4hj8BfiCoXSkktmOOxn69PTNVfwhC2yGAnlRoV/I6Y+YBckh7b5l7OpgzlBJUEUofnOIpN4lS f8+KLscN+FamgMzpnwKj3yXQvlb0UEGSbHYUTWmtFrCPPu9M5yDeAvjhWShbrYMcWTdBn9Yww+T k4U+idZndOYxONbTw/A2Fb1MhO4wgvuzMLxGxTtj2rAdeHmjI0i+u5LrZEX7+yN3YvwA63Tea2A == X-Google-Smtp-Source: AGHT+IHZz87QpThfGDaXa02eoOHKT7kC+nxp6r4fSYohJleUS7/xnWI4lAumu3iwIUU+pCOtvcRWyQ== X-Received: by 2002:a17:907:d2a:b0:ad2:e08:e9e2 with SMTP id a640c23a62f3a-b01d979f53amr824600566b.27.1756747428457; Mon, 01 Sep 2025 10:23:48 -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 a640c23a62f3a-b041f6fb232sm413434766b.87.2025.09.01.10.23.47 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 01 Sep 2025 10:23:48 -0700 (PDT) Message-ID: <0651263d6fbb90cee5a5ad6e9f37fccc366f5a9c.camel@gmail.com> Subject: From: Liliana Marie Prikler To: control@debbugs.gnu.org Date: Mon, 01 Sep 2025 19:23:47 +0200 Content-Type: text/plain Content-Transfer-Encoding: 7bit User-Agent: Evolution 3.54.3 MIME-Version: 1.0 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: close 76686 close 75268 close 77972 thanks 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 [2a00:1450:4864:20:0:0:0:641 listed in] [list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.0 BLANK_SUBJECT Subject is present but empty X-Debbugs-Envelope-To: control 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: 1.0 (+) close 76686 close 75268 close 77972 thanks