From patchwork Mon Apr 21 19:29:54 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 41873 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 B95C727BC4A; Mon, 21 Apr 2025 20:33:29 +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=-6.4 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, RCVD_IN_DNSWL_BLOCKED,RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL, RCVD_IN_VALIDITY_SAFE,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable 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 C0BDD27BC49 for ; Mon, 21 Apr 2025 20:33:26 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1u6wt9-0006e7-0o; Mon, 21 Apr 2025 15:33:07 -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 1u6wt5-0006cV-Jz for guix-patches@gnu.org; Mon, 21 Apr 2025 15:33:04 -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 1u6wt5-0004Ap-AI for guix-patches@gnu.org; Mon, 21 Apr 2025 15:33:03 -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:Date:From:To:Subject; bh=dTSSJaoDaQPoppDHrn/qp5Z3KnGrPNuyNJCjjVr+Kdc=; b=i7K5hFjTIuCEqRYFzqFea/OmgjDtr4M9rWKVRHV+HcKEMXa92CNa3zwsjgsLU5GK+iWTfY6qviHtOv/Z3fgg6rMPGn7dGPGDot1vT9V4p1k+RRjNExwivbaNmjbRmMx6do2mu7StRy38XvjkmWnlXf9QahAtN5WwEyaS0+wPOg4gKPhwwswaFh4spMT+1lWg6LnLmSMv5Ct49GOFsd3WTsYYNbyv3ZImL3K/9iVvYF/bb45B0DMZ02/iaDPjdAf8BLMZEBOONNe9tUG7QOIQiIGZXwuk89CIXGhX2dXsa9ZBlCK9MwoG14yd4+k2Rsn3/Z9STLSEaT/KMW0jSjP67w==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1u6wt4-0000MB-BZ; Mon, 21 Apr 2025 15:33:02 -0400 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 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-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: , 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 (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(+) base-commit: 4a3a206465fb0d7b2c444c43655ad744b195c5bf 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")