From 240dead914ecc914023368ad0dcdd6bd83ba18b6 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Thu, 9 Jul 2020 12:51:50 -0600
Subject: [PATCH] LSP working for TeX

---
 backend/src/langs.ts                | 2 ++
 scripts/docker-install-phase3d.bash | 2 ++
 scripts/docker-install-phase4.bash  | 3 +++
 3 files changed, 7 insertions(+)

diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index da59d07..7006be5 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -1061,6 +1061,8 @@ END
     repl: "tex",
     main: "main.tex",
     run: "tex main.tex",
+    lsp: "digestif",
+    lspLang: "tex",
     template: `\\message{Hello, world!}
 `,
   },
diff --git a/scripts/docker-install-phase3d.bash b/scripts/docker-install-phase3d.bash
index 6ff69b4..7766f19 100755
--- a/scripts/docker-install-phase3d.bash
+++ b/scripts/docker-install-phase3d.bash
@@ -38,6 +38,8 @@ tcl
 tcsh
 
 # TeX
+liblua5.3-dev
+luarocks
 texlive-binaries
 
 # Unlambda
diff --git a/scripts/docker-install-phase4.bash b/scripts/docker-install-phase4.bash
index 1821e21..5bc51cb 100755
--- a/scripts/docker-install-phase4.bash
+++ b/scripts/docker-install-phase4.bash
@@ -67,6 +67,9 @@ rustup component add rls rust-analysis rust-src
 # Shakespeare
 pip3 install shakespearelang
 
+# TeX
+luarocks install digestif
+
 # TypeScript
 npm install -g ts-node typescript