From patchwork Wed Dec 27 15:31:46 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jean-Pierre De Jesus DIAZ X-Patchwork-Id: 58101 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 4046D27BBEC; Wed, 27 Dec 2023 15:33:32 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,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 927FE27BBE2 for ; Wed, 27 Dec 2023 15:33:31 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rIVu5-00079g-8E; Wed, 27 Dec 2023 10:33:05 -0500 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 1rIVu3-00078Z-LF for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:03 -0500 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 1rIVu3-0001Do-D1 for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rIVu2-0007Fw-11 for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68060] [PATCH 1/5] gnu: vim-vader: Allow using neovim for tests. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 27 Dec 2023 15:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68060 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68060@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 68060-submit@debbugs.gnu.org id=B68060.170369112527782 (code B ref 68060); Wed, 27 Dec 2023 15:33:01 +0000 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:05 +0000 Received: from localhost ([127.0.0.1]:37597 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt6-0007E0-QV for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:05 -0500 Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]:53547) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt4-0007DJ-Hu for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:03 -0500 Received: by mail-wr1-x42e.google.com with SMTP id ffacd0b85a97d-33686649b72so5401718f8f.3 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691118; x=1704295918; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=PVZEQTVRbOLMObLizaU46hf18pYhCNQwzYSMhIbEEIA=; b=ZFQXnp/qKQqLCiydd3Cb4S9FaR7uy7Z8RgxqgboHInXCiL1nRBBeTiAHWRkT2z+d7k 2yo9hm2gIVeSQ7xOfm7OYof1EO+vHPdlGJ3muJSbUpsKcI99aEUST4sf4u/Gds6Z16a6 9EpiXLFxGd+HPmFvnXYzhbvFEKaHKDuubaH5oOFVyN3KsrnvaTrxb6MT2IrklrgYwK6L tlfDbE7Rx3h1Z6/4cGyWuft8KrRo2bDDktjEiWdXOkHEvSMwnMa0Pp4UEhJsm44+2TJG FQayKhLN5hbPu/RiYbFDJI3aGyIgjstLyIKFuYp6z+abZX/Hd33zffLKfkvvYPOeVv1L MHKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691118; x=1704295918; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=PVZEQTVRbOLMObLizaU46hf18pYhCNQwzYSMhIbEEIA=; b=cN2bWJR4BA3PKtaYywpd6xiDBy7ZKdcazOrJWUodEaxeCACSSs+0UgH7LClPzoX5nN HEOUDq5h8+cJCYWv7KT2a2I/ZSjFoz9q7/LjbTnz+G51vDXsZEWPcLBh57C463W7Dccj JkKlYi0jJHDsc8qztqQf9l25qUzNircVBZ/yv2k9HO+AvZd5cAjPntljXex4ACLG7/82 iVMz6oqLW2E8zX4HUDU+Wtbg5TQI1Aqhh81qNGfie3bsgsaadtpjYFpyuroQp2sSTp4b E3dw4EdTmgnsus7dnppJkulPV8AxGNX6qWuHMFGcDX4HOReZVRXAGo/uBgGK9sB+XqA9 PpCw== X-Gm-Message-State: AOJu0YyS2XFsLFyytbV+e+SmxK4IiCuwAE06vamiydu1ZXWlxzaC2Tar ZPRSkLwlcN6ZP9wZb796N/Wb4DFnnLo0fmq16CJpFK/iyo7dcQ== X-Google-Smtp-Source: AGHT+IFDDzDLBiWyMrgHW5vu9FdIcJLHnvQnYm6w1bWMmdivQaADLOTA5UpStTW5W2oosG2kKisRfQ== X-Received: by 2002:adf:ef81:0:b0:336:6db3:1d7a with SMTP id d1-20020adfef81000000b003366db31d7amr4700813wro.103.1703691117512; Wed, 27 Dec 2023 07:31:57 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.31.57 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:31:57 -0800 (PST) Date: Wed, 27 Dec 2023 16:31:46 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 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: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches X-Patchwork-Original-From: Jean-Pierre De Jesus DIAZ via Guix-patches via From: Jean-Pierre De Jesus DIAZ 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/vim.scm (vim-vader): Allow using neovim for tests Change-Id: Id5b4423f24fdd42814b0a0e3fab801ec871611f7 --- gnu/packages/vim.scm | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 9debed0b86..03d1e5bed5 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -1509,7 +1509,7 @@ (define-public vim-vader #:phases (modify-phases %standard-phases (add-before 'install 'check - (lambda* (#:key tests? #:allow-other-keys) + (lambda* (#:key tests? vim? neovim? #:allow-other-keys) (when tests? ;; FIXME: suite1.vader fails with an unknown reason, ;; lang-if.vader requires Python and Ruby. @@ -1519,9 +1519,11 @@ (define-public vim-vader (display "Running Vim tests\n") (with-directory-excursion "test" - (setenv "VADER_TEST_VIM" "vim -E") + (when vim? + (setenv "VADER_TEST_VIM" "vim -E")) + (when neovim? + (setenv "VADER_TEST_VIM" "nvim --headless")) (invoke "bash" "./run-tests.sh")))))))) - (native-inputs (list vim)) (home-page "https://github.com/junegunn/vader.vim") (synopsis "Test framework for Vimscript") (description "Vader is a test framework for Vimscript designed to From patchwork Wed Dec 27 15:31:47 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jean-Pierre De Jesus DIAZ X-Patchwork-Id: 58099 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 789D127BBE2; Wed, 27 Dec 2023 15:33:14 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,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 B940B27BBE2 for ; Wed, 27 Dec 2023 15:33:12 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rIVu5-0007A1-Oi; Wed, 27 Dec 2023 10:33:05 -0500 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 1rIVu4-00079D-EN for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:04 -0500 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 1rIVu3-0001Dy-Rc for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rIVu2-0007G3-Fs for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68060] [PATCH 2/5] gnu: Add neovim-vader. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 27 Dec 2023 15:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68060 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68060@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 68060-submit@debbugs.gnu.org id=B68060.170369112527794 (code B ref 68060); Wed, 27 Dec 2023 15:33:02 +0000 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:05 +0000 Received: from localhost ([127.0.0.1]:37600 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt7-0007E3-4D for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:05 -0500 Received: from mail-wr1-x431.google.com ([2a00:1450:4864:20::431]:43481) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt5-0007DL-JD for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:04 -0500 Received: by mail-wr1-x431.google.com with SMTP id ffacd0b85a97d-3368ae75082so2703471f8f.1 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691119; x=1704295919; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Z81jIcbPELWck9jX/EWJs0z+q9OczgiHh4xYxHL3RZQ=; b=dLZ0BdDzTjTLvTihwIQl3BpxCCt3ekqwthhWao+/ZaVCGkr+N5Nd3RF7JSQq+qhXSP NloIAsmhaLhH0usYZwQGfa7fYJQRSBS8E043nOQaCLrrkjoZUS/JC8AaUr68Bnl+a8uT 1yGnSD5uQ9c2IoNs8V1y+/uCRKGOrNsJ+YiIqfcaXweambmqellMSE4XgoWv2QQrZLNI qBym6rsfDJoHl3nM166k9x1TQ7K+2hmoPKEWPGbpXAfi62bCmbNEEzgyfDDrh7my7Him hRgvJtXu5D3mM2ig0WvlBiUgEr6B99tiSLXXBpCRe86L41ZvjCEnj9DCf1euVbINVIAw ETKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691119; x=1704295919; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Z81jIcbPELWck9jX/EWJs0z+q9OczgiHh4xYxHL3RZQ=; b=EKqsoSxZDRe3js/m51Jv0AtBxsBavFci7QYqC87gYeFUsI2MDo7AiVt7M+C32O8g7s ECaUkogFt8S3a52uQnVnGkZbT4N9L3SPZu9YouTOBjTNkz7DPHdOsUooGfv5wZrvyZ0M dTD+S2GfkygadT3VaWIo7kKATjZ2bMOx2II9V8wugE7gNzygDl8MMVXOgTuJqpwVFVQD 3PdBBYGJ39qKrEKqK7W0m7J+nquFKbk25xCMtfHB9FvlEXD4xEvvUmFV018HXMCgJLNz PzYDdvHLSbyMu2/GrYYsdOatrrmxY4r+dKcTRifKYq9Nbcf6JW6UrQEo59wHxrE8XHg1 U8bA== X-Gm-Message-State: AOJu0Yxk7xMUpgmrKQWoG03dc7ovbET9ZBM4jyPNP+xwtm1ahG/GRski sSUp7gVZJHVO3tNGncCIEdU84v46mu6IFBLj0ZuZlhsu3FBwmw== X-Google-Smtp-Source: AGHT+IFia07YfyM9k2aLj4GbFF10KcvXL89jdMzDHqf+MrGIhYLWORwbrvfXvw+tedUy3o6rGzCDOQ== X-Received: by 2002:a05:6000:1c9:b0:336:6dd3:bfd3 with SMTP id t9-20020a05600001c900b003366dd3bfd3mr4707678wrx.37.1703691118924; Wed, 27 Dec 2023 07:31:58 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.31.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:31:58 -0800 (PST) Date: Wed, 27 Dec 2023 16:31:47 +0100 Message-ID: <39a595c7fed22a827276efdfa2d55455bd5820cf.1703690765.git.jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 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: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches X-Patchwork-Original-From: Jean-Pierre De Jesus DIAZ via Guix-patches via From: Jean-Pierre De Jesus DIAZ 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/vim.scm (neovim-vader): New variable. Change-Id: Ib507c2086c31a42088f3f433b57ac1e345e27113 --- gnu/packages/vim.scm | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 03d1e5bed5..7fc6cae6e9 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -1533,6 +1533,11 @@ (define-public vim-vader automate testing and is compatible with Vim and Neovim.") (license license:expat)))) ;; Specified in README.md. +(define-public neovim-vader + (package + (inherit vim-vader) + (name "neovim-vader"))) + (define-public vim-jedi-vim (package (name "vim-jedi-vim") From patchwork Wed Dec 27 15:31:48 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jean-Pierre De Jesus DIAZ X-Patchwork-Id: 58103 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 98FC227BBE2; Wed, 27 Dec 2023 15:33:37 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,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 8BEA327BBE9 for ; Wed, 27 Dec 2023 15:33:35 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rIVu5-00079t-Gk; Wed, 27 Dec 2023 10:33:05 -0500 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 1rIVu4-00079L-JR for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:04 -0500 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 1rIVu4-0001E6-AR for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rIVu2-0007GA-V0 for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68060] [PATCH 3/5] gnu: vim-coqtail: Move vim-full to arguments. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 27 Dec 2023 15:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68060 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68060@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 68060-submit@debbugs.gnu.org id=B68060.170369113127819 (code B ref 68060); Wed, 27 Dec 2023 15:33:02 +0000 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:11 +0000 Received: from localhost ([127.0.0.1]:37604 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVtD-0007Ec-GT for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:11 -0500 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]:59741) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt6-0007DP-TA for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:05 -0500 Received: by mail-wr1-x42a.google.com with SMTP id ffacd0b85a97d-3366e78d872so4923079f8f.3 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691120; x=1704295920; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=cSdZOE8faFp1daihKRAHPSQ44pJ4Noxa5k550+jixBM=; b=c3fBnRGE+SNk74RtzkEq4XkvrzCWhl8Y0v8+YPO1c5GHjLpCGLTMwcuqgPLsHp9MCq 5Hc8j1g49HeyB3cWuPRTxVIRwWrNSGFf6091iMQ6alxn4/AQXmUudu3T9XSyZ8KEG7CX SfuwhBR8sgCTOlY/7KTfiZCI0zhOrkD3ZDqsBHIfEV2l5qNaDCsHQ9/yLJdtnRdnLH/B HVJRQRet3YRMGr6ZFxfn+tx0jsaPb7kpHs9Z8BvRqcPNehYd9i2tu3gtB3dkKkrYfpq8 Z3iayMIMU9aZK7GF1HkkWnTL2ROm74WrEntRjHWKmGnTr5rXzxuZO+cUNIcWGvovr6Fw WTcQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691120; x=1704295920; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=cSdZOE8faFp1daihKRAHPSQ44pJ4Noxa5k550+jixBM=; b=M0iIpiGh/LINBLHd8BzH1kBaX8phcXuOSXAOtpR2ZIEQCmaTCu/Ounvq4vg8jEDzA9 Oih5TwENRat58/CKpqyc6uSod3+Jgk39BRLSPKcmti27o69A6IzaqPmWeIvypEsDWl+K IgHW5MItGPAME8LMxtM/L2Jo8owyNDNnF9YkJNngJ8+9xwjpuL9u1yH1QtnW/K7VdfnQ kKQmPbmG5rC3G3vED5d2NHDYM1qM3+zcT6O8Oa0q+mLaYBo6LD1wEFhuCjPD19nFEwQI gcMy/xhTOAdLMcqGe6FaMIXHNL2F4UmBGfv4PrzDt6y5s3e2b7mEr8YqDnLGyfMgtBny ifpA== X-Gm-Message-State: AOJu0YwTUizR1aWErOlsjmufTSKNxRAHStJ7ar3IpMk6wK4a+aDnJW2x ng0qBV+uPhuiVqX6fEjGzkyOoUs9EZYwwVPxQ4DwmlahOj2JDg== X-Google-Smtp-Source: AGHT+IHT7HWAGrvHIhz8qBxs0viLvtfaiMKypD9yuVWpsaoRwPZE1+qvuePlB9hCpIfipAIRhM2NRA== X-Received: by 2002:adf:fa4c:0:b0:336:85d7:a19b with SMTP id y12-20020adffa4c000000b0033685d7a19bmr2095496wrr.92.1703691120279; Wed, 27 Dec 2023 07:32:00 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.31.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:32:00 -0800 (PST) Date: Wed, 27 Dec 2023 16:31:48 +0100 Message-ID: <724bdaab2e29ea106be52177620cd2c5d53d203d.1703690765.git.jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 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: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches X-Patchwork-Original-From: Jean-Pierre De Jesus DIAZ via Guix-patches via From: Jean-Pierre De Jesus DIAZ 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/vim.scm (vim-coqtail): Move vim-full from native-inputs to arguments. Change-Id: I20cc1e0772727f8fc7db70b42151432fb6349fc7 --- gnu/packages/vim.scm | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 7fc6cae6e9..e27feb13f7 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -470,7 +470,8 @@ (define-public vim-coqtail "0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks")))) (build-system vim-build-system) (arguments - '(#:plugin-name "coqtail" + `(#:plugin-name "coqtail" + #:vim ,vim-full ; Plugin needs Python 3. #:phases (modify-phases %standard-phases (add-before 'install 'check @@ -491,9 +492,7 @@ (define-public vim-coqtail "/share/vim/vimfiles/pack/guix/start/vader"))) (with-directory-excursion "tests/vim" (setenv "VADER_PATH" vader-path) - (invoke (string-append - (assoc-ref (or native-inputs inputs) "vim-full") - "/bin/vim") + (invoke "vim" "-E" "-Nu" "vimrc" "-c" "Vader! *.vader"))) @@ -501,10 +500,9 @@ (define-public vim-coqtail ;; they don't get installed. (delete-file-recursively "python/__pycache__"))))))) (native-inputs - `(("coq-for-coqtail" ,coq-for-coqtail) - ("python-pytest" ,python-pytest) - ("vim-full" ,vim-full) ; Plugin needs Python 3. - ("vim-vader" ,vim-vader))) + (list coq-for-coqtail + python-pytest + vim-vader)) (propagated-inputs (list coq coq-ide-server)) (synopsis "Interactive Coq proofs in Vim") (description "Coqtail enables interactive Coq proof development in Vim From patchwork Wed Dec 27 15:31:49 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jean-Pierre De Jesus DIAZ X-Patchwork-Id: 58102 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 3288427BBE2; Wed, 27 Dec 2023 15:33:33 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,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 C329427BBEA for ; Wed, 27 Dec 2023 15:33:31 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rIVu7-0007B0-6S; Wed, 27 Dec 2023 10:33:07 -0500 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 1rIVu5-00079e-3g for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:05 -0500 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 1rIVu4-0001EE-Qw for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rIVu3-0007GI-Bo for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68060] [PATCH 4/5] gnu: vim-coqtail: Allow using neovim for tests. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 27 Dec 2023 15:33:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68060 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68060@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 68060-submit@debbugs.gnu.org id=B68060.170369113427830 (code B ref 68060); Wed, 27 Dec 2023 15:33:03 +0000 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:14 +0000 Received: from localhost ([127.0.0.1]:37606 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVtD-0007Ek-T5 for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:14 -0500 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:45500) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt7-0007DQ-JB for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:06 -0500 Received: by mail-wr1-x430.google.com with SMTP id ffacd0b85a97d-336f2c88361so820337f8f.3 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691121; x=1704295921; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=dQT4C6gJ9/Z3bgZkUSXabj2uzHXe+1NlIEPxjNur73U=; b=RgKVq9Gx47/8mL1rimvybWytYFD7o6CnPsrVzQGoo+lqxjXrOoRElp/Het79u/jH4q QQprjn7Eqhg+wkwXw7q5HQOjxVNybVCu0sP1wsJ4wYkMuH3h9BGsUQf+lIlbYJgYIRqo u7p0gyoR5h3/XgLnFdn+4h3dAXWmQHr6Z8Kkp1Nv6APMPJz+LaV7Gsfr3WB8qES8TD3S TgwjPXYTmVE7ZFFJ73BC6r/i2h0XkUR1CY7c8IIPxB7p3V/QGPG+ry9fPrLFB9C/qfP5 MbCeFeh/GOOVlkAwjQwcODj6OvmLM8xWL4L5U79SA8DMROnGTk0rGCJGOqXHclqGCJQQ WetA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691121; x=1704295921; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=dQT4C6gJ9/Z3bgZkUSXabj2uzHXe+1NlIEPxjNur73U=; b=n6Axty2fI8Te8PcVE0L3qlwVO3Wm02DuGe+fAQye8e61umRSg+pF4UaJ5ouaLq3UKD My6l6/0vwnKKyzQHzBWfMZ4P5ryF7pEvBkxNDAWxcpdFoCgvaeWloSdbLNkI6XtSyHHZ YjaUWdNkwTAENIPRtewikZGd3DYBCKt0lnWq3fb5Lb7BgbQ5a6LkQ8zX9jjOlfwC3P44 tFIToO47ReOi80ULg6LP3I4jVlqkFFIShsTzx3Krar8J6Pm8sMK+ASiNupOCHvVaMU4S +oI5dhGSFlBZEZK5/FMQBpav9pQxV+ySBy1WxWqSLwsu3Yuon0qIwRTxfuQ06RIyu5hr y47Q== X-Gm-Message-State: AOJu0YyGvaEQqohd0ws8D71aAjY3Zj588ZimV56uNlGUbV0Wv2Z8/HD5 Gs7KeD45y4hv3sZ15D7T6RV+ArDgGT0ueuSG2Twq4lyed07Uyg== X-Google-Smtp-Source: AGHT+IE5/o5FoEHY8oYlda4fLZx+Sz3/stz35HSJqZloH0kW5kOfzOSHvjOXwIv4fsp4Mx9MtKd7Vg== X-Received: by 2002:adf:efc5:0:b0:336:b52d:30cf with SMTP id i5-20020adfefc5000000b00336b52d30cfmr3580370wrp.61.1703691120974; Wed, 27 Dec 2023 07:32:00 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.32.00 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:32:00 -0800 (PST) Date: Wed, 27 Dec 2023 16:31:49 +0100 Message-ID: <83ea421b25a6ee40b499d5efd7d0298685d425bd.1703690765.git.jean@foundationdevices.com> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 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: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches X-Patchwork-Original-From: Jean-Pierre De Jesus DIAZ via Guix-patches via From: Jean-Pierre De Jesus DIAZ 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/vim.scm (vim-coqtail): Allow using neovim for tests. Change-Id: I114b07dd9cf525a5571a37f51b2e6b2a57d5be46 --- gnu/packages/vim.scm | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index e27feb13f7..5f211b120d 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -475,7 +475,8 @@ (define-public vim-coqtail #:phases (modify-phases %standard-phases (add-before 'install 'check - (lambda* (#:key inputs native-inputs tests? #:allow-other-keys) + (lambda* (#:key inputs native-inputs tests? vim? neovim? + #:allow-other-keys) (when tests? (display "Running Python unit tests.\n") (setenv "PYTHONPATH" (string-append (getcwd) "/python")) @@ -489,12 +490,19 @@ (define-public vim-coqtail "vim-vader")) (vader-path (string-append vim-vader - "/share/vim/vimfiles/pack/guix/start/vader"))) + (if vim? + "/share/vim/vimfiles" + "/share/nvim/site") + "/pack/guix/start/vader")) + (command `(,@(if vim? '("vim" "-E") '()) + ,@(if neovim? '("nvim" "--headless") '()) + "-Nu" "vimrc" + "-c" "Vader! *.vader"))) (with-directory-excursion "tests/vim" + (when neovim? + (setenv "HOME" (getcwd))) (setenv "VADER_PATH" vader-path) - (invoke "vim" - "-E" "-Nu" "vimrc" - "-c" "Vader! *.vader"))) + (apply invoke command))) ;; Remove __pycache__ files generated during testing so that ;; they don't get installed. From patchwork Wed Dec 27 15:31:50 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jean-Pierre De Jesus DIAZ X-Patchwork-Id: 58100 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 0849227BBEA; Wed, 27 Dec 2023 15:33:24 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,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 6008827BBE2 for ; Wed, 27 Dec 2023 15:33:23 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rIVuE-0007Bw-1m; Wed, 27 Dec 2023 10:33:17 -0500 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 1rIVu5-00079m-Ak for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:05 -0500 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 1rIVu5-0001EI-22 for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:05 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rIVu3-0007GP-N0 for guix-patches@gnu.org; Wed, 27 Dec 2023 10:33:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68060] [PATCH 5/5] gnu: Add neovim-coqtail. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 27 Dec 2023 15:33:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68060 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68060@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ Received: via spool by 68060-submit@debbugs.gnu.org id=B68060.170369113527838 (code B ref 68060); Wed, 27 Dec 2023 15:33:03 +0000 Received: (at 68060) by debbugs.gnu.org; 27 Dec 2023 15:32:15 +0000 Received: from localhost ([127.0.0.1]:37608 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVtG-0007Ep-Jm for submit@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:14 -0500 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:47121) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rIVt8-0007DS-3c for 68060@debbugs.gnu.org; Wed, 27 Dec 2023 10:32:06 -0500 Received: by mail-wr1-x430.google.com with SMTP id ffacd0b85a97d-3367601a301so5191011f8f.2 for <68060@debbugs.gnu.org>; Wed, 27 Dec 2023 07:32:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1703691121; x=1704295921; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=k6yQK/s9u3ULA/ZNhl9snjNPz2ZkEUI0M3jZToZfxf4=; b=ROaOEFdcKaY3L7nHFClfKxUz1An1o1pxxbiNOtY74nA7lY5lS1+jmdpUiK/9AdBthm bC1102FJTtTkYGcy/wNhmgcfKQfZcuZVf1J3ZxjxUf8ME9oegYpg/sjsQEmm3XsWClbu C/E8GPzbI8cfOXITQX4GthbKO6wvGHYZ+cYYCsclwuSDYp8RmXuG/3IGlAyBKuZFRbCn QESfvq+OhWWntk11rsoHjap5QIp3nYAFBGUdLXjkGTKCVpUmRuh5vai5o0wZDglY7rnP 9cnbf0J7iJwUyPZEpV3FvTj9mHmdLC1nsfEFznI247epsXIHRlUrDCVSWrGmq9MB78Lq UUeg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703691121; x=1704295921; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=k6yQK/s9u3ULA/ZNhl9snjNPz2ZkEUI0M3jZToZfxf4=; b=pNC1AzX0IihdQovAfO0Loqs2PTKr87K8nBXPsW1cA7Hs1K0B3QYmk55ufGtejBoMAj 029bUQfQ5KK0Hoo0Uud2gRxD2GXwjGATbuIalJZfnM3FE2ILrfuUvo/yw/J1Xsx9Ul0L 1e7U9OxJoKAYsmWp+Hx6m+ewsbWSs6NPqFsqJz9Z1c4cwzCqDUu2GWOQL1CMS58WQ7Ka UnHNa77qXZT34knOPJ1C0Ca4gerFdGIZEY5NI0bURgNXxCbQjkuCzs8JGxPttVe4J8db ImqaV7xRIfFIXC7na2KRNkzZLjqDgU9IX2wrTDHnllQoaor7s/bC+gHor9AukyQAWsjD c8kg== X-Gm-Message-State: AOJu0Yw/1vF8xuSaheAu7d/MriTP+3ko9QeY5tdNrrwbTHN+VG0yQWm5 rJ/kqTFASIArEWKP7FB0xb0rCgK8QNZyPMCQvRkZtPh4nFPtbg== X-Google-Smtp-Source: AGHT+IEonIEIwIx+4Y7T0epgCxEVcLf4M51X8zUh02yftmHg/G4Q7VWjY9+vKygW8PtqNsnasz8I5Q== X-Received: by 2002:a5d:40c2:0:b0:336:8f25:a9c with SMTP id b2-20020a5d40c2000000b003368f250a9cmr3080053wrq.124.1703691121677; Wed, 27 Dec 2023 07:32:01 -0800 (PST) Received: from jeandudey.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id e17-20020a5d5311000000b0033672cfca96sm15025139wrv.89.2023.12.27.07.32.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Dec 2023 07:32:01 -0800 (PST) Date: Wed, 27 Dec 2023 16:31:50 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 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: Jean-Pierre De Jesus DIAZ X-ACL-Warn: , Jean-Pierre De Jesus DIAZ via Guix-patches X-Patchwork-Original-From: Jean-Pierre De Jesus DIAZ via Guix-patches via From: Jean-Pierre De Jesus DIAZ 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/vim.scm (neovim-coqtail): New variable. Change-Id: I431571925da02788410fc8bf3b1e1aea93bcb1bb --- gnu/packages/vim.scm | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm index 5f211b120d..1f7a005cb1 100644 --- a/gnu/packages/vim.scm +++ b/gnu/packages/vim.scm @@ -518,6 +518,18 @@ (define-public vim-coqtail (home-page "https://github.com/whonore/Coqtail") (license license:expat)))) +(define-public neovim-coqtail + (package + (inherit vim-coqtail) + (name "neovim-coqtail") + (synopsis "Interactive Coq proofs in Neovim") + (description "Coqtail enables interactive Coq proof development in Neovim +similar to CoqIDE or ProofGeneral.") + (native-inputs + (modify-inputs (package-native-inputs vim-coqtail) + (replace "vim-vader" neovim-vader) + (append python-minimal python-pynvim))))) + (define-public vim-fugitive (package (name "vim-fugitive")