diff --git a/backend/src/langs.ts b/backend/src/langs.ts index 387b253..82d7982 100644 --- a/backend/src/langs.ts +++ b/backend/src/langs.ts @@ -25,6 +25,7 @@ export const langs: { [key: string]: LangConfig } = { main: "main.adb", compile: "x86_64-linux-gnu-gnatmake-9 main.adb", run: "./main", + lsp: "ada_language_server", template: `with Ada.Text_IO; procedure Main is diff --git a/scripts/docker-install-phase5.bash b/scripts/docker-install-phase5.bash index f9f9499..0b5986f 100755 --- a/scripts/docker-install-phase5.bash +++ b/scripts/docker-install-phase5.bash @@ -21,6 +21,14 @@ tar -xf linux-x86_64-static.tar.gz mv stack-*-linux-x86_64-static/stack /usr/bin/stack rm -rf stack-*-linux-x86_64-static linux-x86_64-static.tar.gz +# Ada +cd /tmp +wget -nv https://dl.bintray.com/reznikmm/ada-language-server/linux-latest.tar.gz +tar -xf linux-latest.tar.gz +mv linux/ada_language_server /usr/bin/ada_language_server +mv linux/*.so* /usr/lib/x86_64-linux-gnu/ +rm linux-latest.tar.gz + # Clojure cd /tmp wget -nv https://github.com/snoe/clojure-lsp/releases/download/release-20200629T153107/clojure-lsp