diff options
author | Karl Hallsby <karl@hallsby.com> | 2024-03-27 21:00:13 -0500 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-04-05 18:21:24 +0200 |
commit | 8ded7cd784d582ce96bea5d643f6b6ded21631f3 (patch) | |
tree | 375d6e5c535c97b2dbe6752cf11447297b745d66 /gnu | |
parent | be14d41d9be3ef91d11ab24780855682c432cac9 (diff) |
gnu: Add tree-sitter-tlaplus.
* gnu/packages/tree-sitter.scm (tree-sitter-tlaplus): New variable.
Change-Id: I0e66b87a872bdb29b3c01f4eaf4486dab3d1873f
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/tree-sitter.scm | 10 |
1 files changed, 9 insertions, 1 deletions
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 @@ which will be used as a snippet in origin." "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")) |