COQdeps has no effect, alpine linux

[Hex5DA]

i've installed

• python3
• py3-virtualenv
• sqlite

and tried:

• deleting ~/.cache/dein/repos/github.com/ms-jpq/coq_nvim/.vars
• running :COQdeps
• running :COQnow

and i get the error message:

Please update dependencies using :COQdeps
-
Dependencies will be installed privately inside `/home/0x5da/.cache/dein/repos/github.com/ms-jpq/coq_nvim/.vars`
`rm -rf coq_nvim` will cleanly remove everything
COQ EXITED - 1          

i tried following the debug instructions at #337, and no errors are reported (it prints You can now use :COQnow) any advice?

[Hex5DA]

update: it seems it's not creating / loading the venv correctly. it can be mitigated by doing

• virtualenv ./.vars/runtime
• source ./.vars/runtime/bin/activate
• pip install -r requirements.txt
• nvim [..]
• (now :COQnow -s works fine) any idea why this doesn't work by default?

[doctorcolossus]

I ran into the same symptoms on Ubuntu 22.04 Jammy Jellyfish with NVIM v0.11.0-dev, and had already installed both python3-venv and python3-virtualenv. :COQdeps seems to run fine and says at the end that You can now use :COQnow, but :COQnow always gives the error message you described, telling me to run :COQdeps. I also tried the commands you followed up with that solved the problem for you, and they ran without errors, but didn't solve the problem for me. Giving up on trying to install this plugin. 🙁