Unnamed repository; edit this file 'description' to name the repository.
-rw-r--r--book/src/generated/lang-support.md1
-rw-r--r--languages.toml16
2 files changed, 17 insertions, 0 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md
index e17d83a4..493db5b7 100644
--- a/book/src/generated/lang-support.md
+++ b/book/src/generated/lang-support.md
@@ -55,6 +55,7 @@
| dockerfile | ✓ | ✓ | | | | `docker-langserver`, `docker-language-server` |
| dot | ✓ | | | | | `dot-language-server` |
| doxyfile | ✓ | ✓ | ✓ | ✓ | | |
+| drools | | | | | | `drools-lsp` |
| dtd | ✓ | | | | | |
| dune | ✓ | | | | | |
| dunstrc | ✓ | | | | | |
diff --git a/languages.toml b/languages.toml
index 27b04be4..320fb0b1 100644
--- a/languages.toml
+++ b/languages.toml
@@ -313,6 +313,9 @@ args = ["start", "--stdio"]
command = "kcl-language-server"
args = ["server", "--stdio"]
+[language-server.drools-lsp]
+command = "drools-lsp"
+
[[language]]
name = "rust"
scope = "source.rust"
@@ -5368,6 +5371,19 @@ name = "gnuplot"
source = { git = "https://codeberg.org/maribu/tree-sitter-gnuplot", rev = "21a3a3929facb964b3592daeb69119294ff84cf2" }
[[language]]
+name = "drools"
+scope = "source.drools"
+file-types = ["drl"]
+roots = ["pom.xml", ".git"]
+comment-tokens = "//"
+language-servers = [ "drools-lsp" ]
+formatter = { command = "drools-fmt" }
+
+[[grammar]]
+name = "drools"
+source = { git = "https://github.com/iByteABit256/tree-sitter-drools", rev = "f1404d2a3974dfcfd4193246e763edeeb4b399c1" }
+
+[[language]]
name = "proverif"
scope = "source.proverif"
file-types = [ "pv" ]