agda / agda-language-server

Language Server for Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

FTBFS on Debian

stephen-smith opened this issue · comments

bss@monster % stack clean
bss@monster % stack build
Linking /home/bss/.stack/setup-exe-cache/x86_64-linux-tinfo6/tmp-Cabal-simple_6HauvNHV_3.2.1.0_ghc-8.10.7 ...

<no location info>: error:
    Warning: Couldn't figure out linker information!
             Make sure you're using GNU ld, GNU gold or the built in OS X linker, etc.
collect2: fatal error: cannot find ‘ld’
compilation terminated.
`gcc' failed in phase `Linker'. (Exit code: 1)

Error: [S-6374]
       While building simple Setup.hs (scroll up to its section to see the error) using:
       /home/bss/.stack/programs/x86_64-linux/ghc-tinfo6-8.10.7/bin/ghc-8.10.7 -rtsopts -threaded -clear-package-db -global-package-db -hide-all-packages -package base -main-is StackSetupShim.mainOverride -package Cabal-3.2.1.0 /home/bss/.stack/setup-exe-src/setup-6HauvNHV.hs /home/bss/.stack/setup-exe-src/setup-shim-6HauvNHV.hs -o /home/bss/.stack/setup-exe-cache/x86_64-linux-tinfo6/tmp-Cabal-simple_6HauvNHV_3.2.1.0_ghc-8.10.7
       Process exited with code: ExitFailure 1 
bss@monster % ld --version
GNU ld (GNU Binutils for Debian) 2.40
Copyright (C) 2023 Free Software Foundation, Inc.
This program is free software; you may redistribute it under the terms of
the GNU General Public License version 3 or (at your option) a later version.
This program has absolutely no warranty.
bss@monster % stack --version
Version 2.11.1, Git revision c1167a6abc3f4978ccded5ba0246a57387da0e2f x86_64 hpack-0.35.2
bss@monster % git status
On branch master
Your branch is up to date with 'github/master'.

nothing to commit, working tree clean
bss@monster % git rev-parse HEAD
d9525d5f5ab84df7408f68016714eb0e89ff71b8

Trying to use in nvim, like I do with hls.

I'm not exactly sure what the next step is, but I'd be glad to help.

I also got different errors trying to install it as a "binary dependency" inside another stack project using lts-19.33, but I figured the first step was to make sure I could checkout and compile the most recent version.

Current master builds fine on Debian stable with stack install (which stack from haskell-stack package).

Still can't figure out how to use this LSP with neovim, but that's a separate issue.