search

idris-community / idris2-lsp

Language Server for Idris2
BSD 3-Clause "New" or "Revised" License
164 stars 33 forks source link

"Package `idris2` is not built or not installed in the current environment." #217

Closed foxyseta closed 5 months ago

foxyseta commented 7 months ago

During install:

[ build ] idris2 --build idris2.ipkg
[ fatal ] Package `idris2` is not built or not installed in the current
          environment. Maybe, it was installed with an older compiler version
          or using a local `pack.toml` which is not available in the current
          directory. Try to reinstall it with `pack install-app idris2`.
make: *** [Makefile:73: /home/foxy/desktop/.tmp0/idris2-compiler/build/exec/idris2] Error 2
[ fatal ] Error when executing system command.
          Command: "make" "idris2-exec" "PREFIX=/home/foxy/desktop/install/b690dc15d53c0dfc4baf735c0a52d30424c32356/idris2" "SCHEME=scheme"
          Error code: 2

I have idris2-0.7.0-r2 and idris2-api-0.7.0-r2 on my Alpine setup. Running pack install-app idris2 only outputs

[ info ] Using package collection nightly-231224
[ fatal ] Package idris2 is not an application