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
next 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.