all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Karl Hallsby via Guix-patches via <guix-patches@gnu.org>
To: 70043@debbugs.gnu.org
Cc: Karl Hallsby <karl@hallsby.com>
Subject: [bug#70043] [PATCH] gnu: Add tree-sitter-tlaplus.
Date: Wed, 27 Mar 2024 21:00:13 -0500	[thread overview]
Message-ID: <20240328020232.31322-1-karl@hallsby.com> (raw)

* gnu/packages/tree-sitter.scm (tree-sitter-tlaplus): New variable.

Change-Id: I0e66b87a872bdb29b3c01f4eaf4486dab3d1873f
---

 tree-sitter-tlaplus has a newer version, 1.2.1, but that requires
 tree-sitter to have a version greater than 0.21.0 (which _is_ tagged
 this time). However, naively updating tree-sitter to 0.21.0 or newer
 requires rust packages (most notably rust-clap) newer than are
 available in Guix right now. When tree-sitter gets updated next, this
 tree-sitter grammar (and likely many others) will need to be updated
 as well.

 gnu/packages/tree-sitter.scm | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/tree-sitter.scm b/gnu/packages/tree-sitter.scm
index 7515461993..f049ac590e 100644
--- a/gnu/packages/tree-sitter.scm
+++ b/gnu/packages/tree-sitter.scm
@@ -6,7 +6,7 @@
 ;;; Copyright © 2023 Andrew Tropin <andrew@trop.in>
 ;;; Copyright © 2023, 2024 Nicolas Graves <ngraves@ngraves.fr>
 ;;; Copyright © 2023 Zheng Junjie <873216071@qq.com>
-;;; Copyright © 2023 Raven Hallsby <karl@hallsby.com>
+;;; Copyright © 2023, 2024 Raven Hallsby <karl@hallsby.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -677,3 +677,11 @@ (define-public tree-sitter-scala
    "scala" "Scala"
    "0hs6gmkq5cx9qrmgfz1mh0c34flwffc0k2mhwf13laawswnywfkz"
    "0.20.2"))
+
+(define-public tree-sitter-tlaplus
+  (tree-sitter-grammar
+   "tlaplus" "TLA+"
+   "1k60dnzafj6m9c2d4xnwiz3d7yw3bg3iwx7c1anhwr76iyxdci3w"
+   "1.0.8"
+   ;; Version 1.2.1 is most recent, but requires tree-sitter >0.21.0
+   #:repository-url "https://github.com/tlaplus-community/tree-sitter-tlaplus"))
-- 
2.41.0





             reply	other threads:[~2024-03-28  2:07 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-03-28  2:00 Karl Hallsby via Guix-patches via [this message]
2024-04-01  3:53 ` [bug#70043] [PATCH 1/2] gnu: Add tree-sitter-latex karl--- via Guix-patches via
2024-04-01  3:53   ` [bug#70043] [PATCH 2/2] gnu: Add tree-sitter-nix karl--- via Guix-patches via
2024-04-05 15:41 ` bug#70043: [PATCH] gnu: Add tree-sitter-tlaplus Ludovic Courtès

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20240328020232.31322-1-karl@hallsby.com \
    --to=guix-patches@gnu.org \
    --cc=70043@debbugs.gnu.org \
    --cc=karl@hallsby.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.