From 64fc96ef0626f7d9f6fa30017d9b971a353dac9a Mon Sep 17 00:00:00 2001 From: Radon Rosborough Date: Sun, 13 Jun 2021 22:34:27 +0000 Subject: [PATCH] Ada language server no longer available as binary This will be recorded on the issue tracker, but for now it seems very difficult to compile the thing from source. --- langs/ada.yaml | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/langs/ada.yaml b/langs/ada.yaml index 4b381b2..88fe168 100644 --- a/langs/ada.yaml +++ b/langs/ada.yaml @@ -29,13 +29,6 @@ info: install: apt: - gnat - manual: | - wget https://dl.bintray.com/reznikmm/ada-language-server/linux-latest.tar.gz - tar -xf linux-latest.tar.gz - install -d "${pkg}/usr/local/bin" - install -d "${pkg}/usr/local/lib/x86_64-linux-gnu" - mv linux/ada_language_server "${pkg}/usr/local/bin/ada_language_server" - mv linux/*.so* "${pkg}/usr/local/lib/x86_64-linux-gnu/" main: "main.adb" template: | @@ -50,10 +43,3 @@ compile: | x86_64-linux-gnu-gnatmake-9 main.adb run: | ./main - -lsp: - start: | - ada_language_server - code: "\n Ada.IO" - after: ");" - item: "IO_Exceptions"