Musl usage error message

Julian / lean.nvim

neovim support for the Lean theorem prover

MIT License

248 stars 25 forks source link

Musl usage error message #324

Closed foxyseta closed 8 months ago

foxyseta commented 8 months ago

musl libc (x86_64)
Version 1.2.4_git20230717
Dynamik Program Loader
Usage: /lib/ld-musl-x86_64.so.1 [options] [--]

This error shows up in stderr when using lean.nvim (curr is stuck as "Processing file..."). However, I can run every tool in my lean toolchain installation (lean4:stable) without problems.

I am using gcompat to run Lean on Alpine (which is a musl distribution).

Julian commented 8 months ago

Hey -- I'm likely happy to merge a PR fixing something here if you care to look into it, but am also probably unlikely to do so myself given I don't use such a system. Just letting you know!

foxyseta commented 8 months ago

No problem. Will make sure this is really not related to my Lean installation first.

foxyseta commented 8 months ago

It was a problem related to my installation after all. Sorry and thanks for this great project!

Julian commented 8 months ago

Glad you figured it out!