agda / agda-language-server

Language Server for Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ICU dynamic library linking problem on Ubuntu

banacorn opened this issue · comments

Prebuilt language server on Ubuntu is reportedly having some linking problems (see banacorn/agda-mode-vscode#68 (comment)).

We should bundle DLLs on Ubuntu like we do on Windows and macOS

Yeah, I am having this issue on Fedora 39 as well, with the latest prebuilts.

$ als
als: error while loading shared libraries: libicuuc.so.70: cannot open shared object file: No such file or directory

I've also been having this issue! It seems to be asking for a version of libicuuc that is incompatible with my Ubuntu version (20)