ICU dynamic library linking problem on Ubuntu

agda / agda-language-server

Language Server for Agda

MIT License

102 stars 17 forks source link

Open banacorn opened 3 years ago

banacorn commented 3 years ago

Prebuilt language server on Ubuntu is reportedly having some linking problems (see https://github.com/banacorn/agda-mode-vscode/issues/68#issuecomment-938044062).

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

bzm3r commented 9 months ago

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

pingshiyu commented 4 months ago

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)