search

agda / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
135 stars 23 forks source link

lazy.nvim build fails `ar: conftest.a: No such file` #135

Closed gwimm closed 10 months ago

gwimm commented 10 months ago 
  Failed (1)
    ● cornelis 0.18ms ✔ build          ■■ build failed
        Preparing to install GHC (tinfo6) to an isolated location.
        This will not interfere with any system-level installation.
        Preparing to download ghc-tinfo6-9.4.8 ...
        ghc-tinfo6-9.4.8: download has begun
        ghc-tinfo6-9.4.8:   14.73 MiB / 178.01 MiB (  8.28%) downloaded...
        ghc-tinfo6-9.4.8:   43.60 MiB / 178.01 MiB ( 24.50%) downloaded...
        ghc-tinfo6-9.4.8:   71.31 MiB / 178.01 MiB ( 40.06%) downloaded...
        ghc-tinfo6-9.4.8:   94.53 MiB / 178.01 MiB ( 53.10%) downloaded...
        ghc-tinfo6-9.4.8:  122.79 MiB / 178.01 MiB ( 68.98%) downloaded...
        ghc-tinfo6-9.4.8:  145.47 MiB / 178.01 MiB ( 81.72%) downloaded...
        ghc-tinfo6-9.4.8:  168.36 MiB / 178.01 MiB ( 94.58%) downloaded...
        ghc-tinfo6-9.4.8:  178.01 MiB / 178.01 MiB (100.00%) downloaded...
        Downloaded ghc-tinfo6-9.4.8.
        Unpacking GHC into /home/res/stack/programs/x86_64-linux/ghc-tinfo6-9.4.8.temp/ ...
        Configuring GHC ...
        ar: conftest.a: No such file or directory
        Installing GHC ...
        Installed GHC.

        Process was killed because it reached the timeout
gwimm commented 10 months ago

Remember kids, a nix shell will point all your linker paths into the store, remember that.