agda-language-server broken on nixpkgs #33
Description
Build logs
NIXPKGS_ALLOW_BROKEN=1 nix-shell -p haskellPackages.agda-language-server
this derivation will be built:
/nix/store/bp5qvrd40981w6ann01shvklfq58hy7v-agda-language-server-0.2.6.3.0.drv
building '/nix/store/bp5qvrd40981w6ann01shvklfq58hy7v-agda-language-server-0.2.6.3.0.drv'...
Running phase: setupCompilerEnvironmentPhase
Build with /nix/store/xmvlqc3f0sfij7083klg3z6i4yr4rvsz-ghc-9.8.4.
Running phase: unpackPhase
unpacking source archive /nix/store/0g9qr3hvqjanm0si4k56f63n1akw49zi-agda-language-server-0.2.6.3.0.tar.gz
source root is agda-language-server-0.2.6.3.0
setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file "agda-language-server-0.2.6.3.0/test/Test/SrcLoc.hs"
Running phase: patchPhase
Running phase: compileBuildDriverPhase
setupCompileFlags: -package-db=/build/tmp.UGZyE2cePm/setup-package.conf.d -threaded
[1 of 2] Compiling Main ( Setup.hs, /build/tmp.UGZyE2cePm/Main.o )
[2 of 2] Linking Setup
Running phase: updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
configureFlags: --verbose --prefix=/nix/store/d2554llp7p5zqbx4fj4fnwq5665vykxv-agda-language-server-0.2.6.3.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/m3divr2i0vby7ks35lyk5s1f3qymjra8-agda-language-server-0.2.6.3.0-doc/share/doc/agda-language-server-0.2.6.3.0 --with-gcc=gcc --package-db=/build/tmp.UGZyE2cePm/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --extra-lib-dirs=/nix/store/vfmnmqsnfiiqmphy7ffh2zqynsxfck1q-ncurses-6.5/lib --extra-lib-dirs=/nix/store/90c412b9wqhfny300rg5s2gpsbrqb31q-libffi-3.4.8/lib --extra-lib-dirs=/nix/store/cly4pxh7avd579girjmpxmx8z6ad4dyp-elfutils-0.192/lib --extra-lib-dirs=/nix/store/kxhsmlrscry4pvbpwkbbbxsksmzg0gp0-gmp-with-cxx-6.3.0/lib
Using Parsec parser
Configuring agda-language-server-0.2.6.3.0...
CallStack (from HasCallStack):
withMetadata, called at libraries/Cabal/Cabal/src/Distribution/Simple/Utils.hs:368:14 in Cabal-3.10.3.0-cb0e:Distribution.Simple.Utils
Error: Setup: Encountered missing or private dependencies:
lsp <1.7
error: builder for '/nix/store/bp5qvrd40981w6ann01shvklfq58hy7v-agda-language-server-0.2.6.3.0.drv' failed with exit code 1;
last 21 log lines:
> Running phase: setupCompilerEnvironmentPhase
> Build with /nix/store/xmvlqc3f0sfij7083klg3z6i4yr4rvsz-ghc-9.8.4.
> Running phase: unpackPhase
> unpacking source archive /nix/store/0g9qr3hvqjanm0si4k56f63n1akw49zi-agda-language-server-0.2.6.3.0.tar.gz
> source root is agda-language-server-0.2.6.3.0
> setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file "agda-language-server-0.2.6.3.0/test/Test/SrcLoc.hs"
> Running phase: patchPhase
> Running phase: compileBuildDriverPhase
> setupCompileFlags: -package-db=/build/tmp.UGZyE2cePm/setup-package.conf.d -threaded
> [1 of 2] Compiling Main ( Setup.hs, /build/tmp.UGZyE2cePm/Main.o )
> [2 of 2] Linking Setup
> Running phase: updateAutotoolsGnuConfigScriptsPhase
> Running phase: configurePhase
> configureFlags: --verbose --prefix=/nix/store/d2554llp7p5zqbx4fj4fnwq5665vykxv-agda-language-server-0.2.6.3.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/m3divr2i0vby7ks35lyk5s1f3qymjra8-agda-language-server-0.2.6.3.0-doc/share/doc/agda-language-server-0.2.6.3.0 --with-gcc=gcc --package-db=/build/tmp.UGZyE2cePm/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --extra-lib-dirs=/nix/store/vfmnmqsnfiiqmphy7ffh2zqynsxfck1q-ncurses-6.5/lib --extra-lib-dirs=/nix/store/90c412b9wqhfny300rg5s2gpsbrqb31q-libffi-3.4.8/lib --extra-lib-dirs=/nix/store/cly4pxh7avd579girjmpxmx8z6ad4dyp-elfutils-0.192/lib --extra-lib-dirs=/nix/store/kxhsmlrscry4pvbpwkbbbxsksmzg0gp0-gmp-with-cxx-6.3.0/lib
> Using Parsec parser
> Configuring agda-language-server-0.2.6.3.0...
> CallStack (from HasCallStack):
> withMetadata, called at libraries/Cabal/Cabal/src/Distribution/Simple/Utils.hs:368:14 in Cabal-3.10.3.0-cb0e:Distribution.Simple.Utils
> Error: Setup: Encountered missing or private dependencies:
> lsp <1.7
>
For full logs, run 'nix log /nix/store/bp5qvrd40981w6ann01shvklfq58hy7v-agda-language-server-0.2.6.3.0.drv'.
It's trying to build using ghc 9.8, but judging from the stack files in this repository, support might not go beyond 9.2. It would be awesome if we could be 9.8 compatible, or otherwise get a working version published in nixpkgs!