From patchwork Sun Apr 27 14:52:51 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Nicolas Graves X-Patchwork-Id: 42075 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 B7B5127BC49; Sun, 27 Apr 2025 15:55:34 +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_INVALID, DKIM_SIGNED,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 40CC427BC4A for ; Sun, 27 Apr 2025 15:55:34 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1u93OW-00078e-F3; Sun, 27 Apr 2025 10:54: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 1u93OU-00076z-Mg for guix-patches@gnu.org; Sun, 27 Apr 2025 10:54:10 -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 1u93OU-0001KG-Cf for guix-patches@gnu.org; Sun, 27 Apr 2025 10:54:10 -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:References:In-Reply-To:Date:From:To:Subject; bh=jUC5NSaRcHIl++T/1KJ5D00UuaeaxMC2d7lW11kZH8g=; b=QpRua5mYvTjIUJZiwYJ7Yz3FcxVDeIO6UJisGgtUIm08ThcgL4fuyuWXVnLWkMsTqfC53xzybHfP+XRuB/faFxFUqOYAVXS9R86nrUbah7NEXGEgFhzrPSXAJGQ391WOvTyrQxbkLmV0MJz6MrUCiH8AbXj0kYih5Us1yKq1kuzsXo0R4V6wIpSXbB2wqrzZll+dUbh1XHp91yGOyHsxvX5sOiSL0mNyQnMVh7/0O6WL+90UfUSf/5/iWSTpPXLodNr3nfUXegjW4AS5bpfAsxBECGRYwV7KkAUIl4nR6vUYKUA6lYtWZVwS5qjdTUJhDZ8zGgqbDomI11XN66kYjw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1u93OU-00064e-5W for guix-patches@gnu.org; Sun, 27 Apr 2025 10:54:10 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78095] [PATCH 17/28] gnu: emacs-idris-mode: Partially enable tests. Resent-From: Nicolas Graves Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 27 Apr 2025 14:54:10 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78095 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78095@debbugs.gnu.org Cc: Nicolas Graves Received: via spool by 78095-submit@debbugs.gnu.org id=B78095.174576563723180 (code B ref 78095); Sun, 27 Apr 2025 14:54:10 +0000 Received: (at 78095) by debbugs.gnu.org; 27 Apr 2025 14:53:57 +0000 Received: from localhost ([127.0.0.1]:43426 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u93OG-00061i-ET for submit@debbugs.gnu.org; Sun, 27 Apr 2025 10:53:56 -0400 Received: from 10.mo563.mail-out.ovh.net ([46.105.78.6]:50497) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u93O3-0005zM-Tg for 78095@debbugs.gnu.org; Sun, 27 Apr 2025 10:53:44 -0400 Received: from director1.derp.mail-out.ovh.net (director1.derp.mail-out.ovh.net [51.68.80.175]) by mo563.mail-out.ovh.net (Postfix) with ESMTPS id 4ZlqMp5tJMz1Ttr; Sun, 27 Apr 2025 14:53:42 +0000 (UTC) Received: from director1.derp.mail-out.ovh.net (director1.derp.mail-out.ovh.net. [127.0.0.1]) by director1.derp.mail-out.ovh.net (inspect_sender_mail_agent) with SMTP for <78095@debbugs.gnu.org>; Sun, 27 Apr 2025 14:53:42 +0000 (UTC) Received: from mta3.priv.ovhmail-u1.ea.mail.ovh.net (unknown [10.108.17.119]) by director1.derp.mail-out.ovh.net (Postfix) with ESMTPS id 4ZlqMp3pbFzHZcS; Sun, 27 Apr 2025 14:53:42 +0000 (UTC) Received: from ngraves.fr (unknown [10.1.6.7]) by mta3.priv.ovhmail-u1.ea.mail.ovh.net (Postfix) with ESMTPSA id A21933A3F33; Sun, 27 Apr 2025 14:53:41 +0000 (UTC) Authentication-Results: garm.ovh; auth=pass (GARM-104R005e135ac45-93c4-49d3-99cd-0338dd74c88c, 9AB25D737CCC7858AAE0948041C432A519AE1DDE) smtp.auth=ngraves@ngraves.fr X-OVh-ClientIp: 176.145.66.100 Date: Sun, 27 Apr 2025 16:52:51 +0200 Message-ID: <20250427145307.16022-17-ngraves@ngraves.fr> X-Mailer: git-send-email 2.49.0 In-Reply-To: <20250427145307.16022-1-ngraves@ngraves.fr> References: <20250427145307.16022-1-ngraves@ngraves.fr> MIME-Version: 1.0 X-Ovh-Tracer-Id: 4969159242275676898 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgddvheekfeeiucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuqfggjfdpvefjgfevmfevgfenuceurghilhhouhhtmecuhedttdenucenucfjughrpefhvfevufffkffojghfggfgsedtkeertdertddtnecuhfhrohhmpefpihgtohhlrghsucfirhgrvhgvshcuoehnghhrrghvvghssehnghhrrghvvghsrdhfrheqnecuggftrfgrthhtvghrnhepleffjeetueethfefkeffffefvddukeejkefgleduiedthfekvefhiedvhfffgeegnecukfhppeduvdejrddtrddtrddupddujeeirddugeehrdeiiedruddttdenucevlhhushhtvghrufhiiigvpeefnecurfgrrhgrmhepihhnvghtpeduvdejrddtrddtrddupdhmrghilhhfrhhomhepnhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrpdhnsggprhgtphhtthhopedvpdhrtghpthhtohepjeektdelheesuggvsggsuhhgshdrghhnuhdrohhrghdprhgtphhtthhopehnghhrrghvvghssehnghhrrghvvghsrdhfrhdpoffvtefjohhsthepmhhoheeifegmpdhmohguvgepshhmthhpohhuth DKIM-Signature: a=rsa-sha256; bh=jUC5NSaRcHIl++T/1KJ5D00UuaeaxMC2d7lW11kZH8g=; c=relaxed/relaxed; d=ngraves.fr; h=From; s=ovhmo4487190-selector1; t=1745765623; v=1; b=JqjcpZ8emqGk4Pyo8ehzgzTgi5IKtK+UrjdoZQjh8gjoiZ3EhLE6TA5V4GxyGQtNY+oBEE1o o3Up5GSEHwWVOVmm9I9+mmpMMpY8mXAfM9n1hd0SPxkWF0ofzotHo6Gha13LOrmCEybxdV0Ye0m /jklQ/SvBSEF4mhzVpg5VMgpoDBUJKXTJdH/5a8AsQyK4FFvvfAcPGHnXjEFevMmyKjfh7dQ59g P6PHaxqvlKo7GT+P1ovwQgXCXVQLYys3Q5RjNdq+RH5fMneygcE2hC+lhd27/OHMzZfewDXfC+u 9vzBMS36wZjn6nP9gRBdMOgV5ADBDh0B9JcZCBsr28N4g== 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: Nicolas Graves X-ACL-Warn: , Nicolas Graves via Guix-patches X-Patchwork-Original-From: Nicolas Graves via Guix-patches via From: Nicolas Graves 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): [arguments]: Add phase 'patch-test, and replace phase 'check. [native-inputs]: Add idris. --- gnu/packages/emacs-xyz.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 43cd8e1330..c1069a7d6f 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) @@ -23862,6 +23863,28 @@ (define-public emacs-idris-mode (base32 "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7")))) (build-system emacs-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-tests + (lambda _ + (substitute* "Makefile" + (("^test(|2|3): getdeps build" all n) + (string-append "test" n ":" ))))) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (if tests? + (begin + (setenv "HOME" (dirname (getcwd))) + (invoke "make" "test") + ;; XXX: History file not writable + ;; (invoke "make" "test2") + ;; XXX: Error reading from stdin + ;; (invoke "make" "test3") + ) + (format #t "test suite not run.~%"))))))) + (native-inputs + (list idris)) (propagated-inputs (list emacs-prop-menu)) (home-page