Unable to install Agda Language Server for Agda 2.7.0.1 on Mac #31
Description
If I enable the Agda Language Server in the agda-vscode extension, it yields the following error:
Connection Error: Unable to find Agda Language Server
Here are the error messages from all the attempts:
Trying to connect to localhost:4096 : AggregateError
Trying to find the command "als": Cannot find the executable on PATH
Trying to download prebuilt from GitHub: Cannot find matching release from GitHub
although I have a supported version of Agda:
frebak@Fredriks-MacBook-Pro agda-unimath % agda --version
Agda version 2.7.0.1
Built with flags (cabal -f)
- optimise-heavily: extra optimisations
If I download the prebuilt binaries I have the same issue as #30, and if I try to build from source I get the following error:
Agda > [431 of 431] Compiling Agda.Main
Agda > ld: warning: -single_module is obsolete
Agda > ld: warning: ignoring duplicate libraries: '-licudata', '-licui18n', '-licuuc'
Agda > ld: warning: search path '/usr/local/opt/icu4c/lib' not found
Agda > Preprocessing executable 'agda' for Agda-2.7.0.1..
Agda > Building executable 'agda' for Agda-2.7.0.1..
Agda > [1 of 1] Compiling Main
Agda > Linking .stack-work/dist/aarch64-osx/ghc-9.2.8/build/agda/agda ...
Agda > ld: warning: ignoring duplicate libraries: '-licudata', '-licui18n', '-licuuc'
Agda > ld: warning: search path '/usr/local/opt/icu4c/lib' not found
Agda > Undefined symbols for architecture arm64:
Agda > "_iconv", referenced from:
Agda > _hs_iconv in libHSbase-4.16.4.0.a[6](iconv.o)
Agda > "_iconv_close", referenced from:
Agda > _hs_iconv_close in libHSbase-4.16.4.0.a[6](iconv.o)
Agda > "_iconv_open", referenced from:
Agda > _hs_iconv_open in libHSbase-4.16.4.0.a[6](iconv.o)
Agda > "_u_errorName_76", referenced from:
Agda > ___hs_u_errorName in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_close_76", referenced from:
Agda > ___hs_ubrk_close in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_countAvailable_76", referenced from:
Agda > ___hs_ubrk_countAvailable in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_current_76", referenced from:
Agda > ___hs_ubrk_current in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_first_76", referenced from:
Agda > ___hs_ubrk_first in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_following_76", referenced from:
Agda > ___hs_ubrk_following in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_getAvailable_76", referenced from:
Agda > ___hs_ubrk_getAvailable in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_getRuleStatusVec_76", referenced from:
Agda > ___hs_ubrk_getRuleStatusVec in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_getRuleStatus_76", referenced from:
Agda > ___hs_ubrk_getRuleStatus in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_isBoundary_76", referenced from:
Agda > ___hs_ubrk_isBoundary in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_last_76", referenced from:
Agda > ___hs_ubrk_last in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_next_76", referenced from:
Agda > ___hs_ubrk_next in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_open_76", referenced from:
Agda > ___hs_ubrk_open in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_preceding_76", referenced from:
Agda > ___hs_ubrk_preceding in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_previous_76", referenced from:
Agda > ___hs_ubrk_previous in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_safeClone_76", referenced from:
Agda > ___hs_ubrk_safeClone in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_ubrk_setUText_76", referenced from:
Agda > ___hs_ubrk_setUText in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_uiter_setString_76", referenced from:
Agda > ___hs_uiter_setString in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_uiter_setUTF8_76", referenced from:
Agda > ___hs_uiter_setUTF8 in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_utext_close_76", referenced from:
Agda > ___hs_utext_close in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > "_utext_openUChars_76", referenced from:
Agda > ___hs_utext_openUChars in libHStext-icu-0.8.0.2-A3dhIa6guLLKC9OTzsw1ex.a[40](text_icu.o)
Agda > ld: symbol(s) not found for architecture arm64
Agda > clang: error: linker command failed with exit code 1 (use -v to see invocation)
Agda > `gcc' failed in phase `Linker'. (Exit code: 1)
Progress 1/2
Error: [S-7282]
Stack failed to execute the build plan.
While executing the build plan, Stack encountered the error:
[S-7011]
While building package Agda-2.7.0.1 (scroll up to its section to see the error) using:
/private/var/folders/02/jvrtjx490mx5frjq57knj9q40000gn/T/stack-a88e4cb7b4046e3f/Agda-2.7.0.1/.stack-work/dist/aarch64-osx/ghc-9.2.8/setup/setup --verbose=1 --builddir=.stack-work/dist/aarch64-osx/ghc-9.2.8 build --ghc-options " -fdiagnostics-color=always"
Process exited with code: ExitFailure 1
This means that there is no way for me to install the language server.