From patchwork Fri Sep 8 10:32:24 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: 1775 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 EFF6927BBE9; Fri, 8 Sep 2023 11:33:27 +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=-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 EF3D427BBE2 for ; Fri, 8 Sep 2023 11:33:25 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qeYnU-0003sK-5w; Fri, 08 Sep 2023 06:33:08 -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 1qeYnM-0003qn-Mm for guix-patches@gnu.org; Fri, 08 Sep 2023 06:33:02 -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 1qeYnM-0008I1-EJ for guix-patches@gnu.org; Fri, 08 Sep 2023 06:33:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qeYnO-0003VE-6A for guix-patches@gnu.org; Fri, 08 Sep 2023 06:33:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#65820] [PATCH 0/3] gnu: Add vim-coqtail. Resent-From: Jean-Pierre De Jesus DIAZ Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 08 Sep 2023 10:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 65820 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 65820@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.169416918013456 (code B ref -1); Fri, 08 Sep 2023 10:33:01 +0000 Received: (at submit) by debbugs.gnu.org; 8 Sep 2023 10:33:00 +0000 Received: from localhost ([127.0.0.1]:42269 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qeYnM-0003Uw-E8 for submit@debbugs.gnu.org; Fri, 08 Sep 2023 06:33:00 -0400 Received: from lists.gnu.org ([2001:470:142::17]:41602) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qeYnI-0003Uf-6z for submit@debbugs.gnu.org; Fri, 08 Sep 2023 06:32:59 -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 1qeYn8-0003mn-QH for guix-patches@gnu.org; Fri, 08 Sep 2023 06:32:46 -0400 Received: from mail-wm1-x333.google.com ([2a00:1450:4864:20::333]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qeYn6-0008FA-CN for guix-patches@gnu.org; Fri, 08 Sep 2023 06:32:46 -0400 Received: by mail-wm1-x333.google.com with SMTP id 5b1f17b1804b1-3ff1c397405so22072915e9.3 for ; Fri, 08 Sep 2023 03:32:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foundationdevices.com; s=google; t=1694169161; x=1694773961; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=4Cj9HIlwSZI/Dztr8jTULucaKPGjaYJauIORD1XWajI=; b=KurHMPutxuELWc5+a9Q8jW5ZSGkBVEZpkL/EXtgzanBMEocTBJl5XiCGYcM0AUjyyX j7Crf8N8hSK+cxNDiLIPT1WblRSfkZMEVeicbgkErcR+HaSa9LmqStMTA5lapBxDy8hb JqifxM3UOOxx6UXMtADNLKWT14CVcCUnvUtTTRpFzejxUQMA29cNo2h8rCNaJuqCgfAs 8F1aBquXk1v7OIWQKUWxaeGAqa73Q6XZ4TNXVbZpwsLNF3SQlRmZWxuAFFV7w9Mn3nQZ lGf9Tn8r8qHRtoKCZtMShqFDt1JjOu1tPcGl8f3/je+zOdaYkwJuIQql8UE7PpESWPCS UUqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694169161; x=1694773961; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=4Cj9HIlwSZI/Dztr8jTULucaKPGjaYJauIORD1XWajI=; b=tVuk0xShSBoFFvDbGrRFw4A8i+iQuHjFD8fImvr6ztWQeOTGf8GkrGMyAFXVk+TuzG w2roICXmE5MdZXsadApmcOuGhVbcSQR8omITOCzMT/f7yCO/RNgXcQqkBhwRTHIT308n K6iFWJ+vaesj+nczAlQIFb2U1qLKEy8RnMARQWJl8ObZPPlLPEeXJ2rELQHhbmkFZ6qO 102Xr9XJ54lKCkoHjZBb38LivHy+XqSaF8LkQSx/coO5HD2fgqRvfI/WUXQsPSx8fuWr UM0Qco6CvhV2VwF0RnVaxyX63mbVvBUKVEEwdGMOKbPSXPyX1Dg0Pmxbl0ggbQEPAEdN YMsQ== X-Gm-Message-State: AOJu0YwQguZBQ29IMmRq6PkezBiQqvZr2R0hqhO73fWGm1Y0Ow/oTuJm LCl7w47HVAkv2z6zqcXUv2E0GoJlcXCwVhf+CAphiw== X-Google-Smtp-Source: AGHT+IGbTTHceqrZgvj34ykBvKdWh964Lb2Rioj3ye3CocwtbHcQ53DP20yizhgorW2UyTIxXqiDyA== X-Received: by 2002:a7b:c445:0:b0:3fe:18a3:b3c with SMTP id l5-20020a7bc445000000b003fe18a30b3cmr1781049wmi.12.1694169161233; Fri, 08 Sep 2023 03:32:41 -0700 (PDT) Received: from omen15.home ([89.131.29.87]) by smtp.gmail.com with ESMTPSA id h5-20020adffd45000000b0031c5d74ecd8sm1746126wrs.84.2023.09.08.03.32.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 08 Sep 2023 03:32:40 -0700 (PDT) Date: Fri, 8 Sep 2023 12:32:24 +0200 Message-Id: <20230908103223.21492-1-jean@foundationdevices.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::333; envelope-from=jean@foundationdevices.com; helo=mail-wm1-x333.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham 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: , 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 This patch series adds vim-vader and vim-coqtail, plugins for testing Vim plugins and for Coq interactive proof development, respectively. Also added a hidden coq-for-coqtail package due to the inner workings of vim-coqtail which expects coqc and coqidetop to be in the same bin folder, this is only for testing. For normal day to day usage of the plugin it will automatically find coqc and coqidetop in the user's profile, or the user can manually configure the Coq path if necessary. Decided to add vim-vader and test vim-coqtail properly to start looking into how a vim-build-system would in the future. Probably needs more package with tests before making a common build system for all of the Vim plugin packages. Jean-Pierre De Jesus DIAZ (3): gnu: Add vim-vader. gnu: Add coq-for-coqtail. gnu: Add vim-coqtail. gnu/packages/coq.scm | 27 ++++++++++ gnu/packages/vim.scm | 114 +++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 141 insertions(+) base-commit: d4645d5d25c9de0def9745c48a96504e500ec850