unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#70043] [PATCH] gnu: Add tree-sitter-tlaplus.
@ 2024-03-28  2:00 Karl Hallsby via Guix-patches via
  2024-04-01  3:53 ` [bug#70043] [PATCH 1/2] gnu: Add tree-sitter-latex karl--- via Guix-patches via
  2024-04-05 15:41 ` bug#70043: [PATCH] gnu: Add tree-sitter-tlaplus Ludovic Courtès
  0 siblings, 2 replies; 4+ messages in thread
From: Karl Hallsby via Guix-patches via @ 2024-03-28  2:00 UTC (permalink / raw)
  To: 70043; +Cc: Karl Hallsby

* 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





^ permalink raw reply related	[flat|nested] 4+ messages in thread
end of thread, other threads:[~2024-04-05 15:42 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-28  2:00 [bug#70043] [PATCH] gnu: Add tree-sitter-tlaplus Karl Hallsby via Guix-patches via
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

Code repositories for project(s) associated with this public inbox

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

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).