[windows] findlib is not initalized correcty when called from coq-lsp about platform

[MSoegtropIMC]

To make findlib work after installation (=relocation), I am using a modification to it which works as follows:

• there is a file "findlib.root" in the Coq Platform installation root folder.
• executables search the directory tree upwards from their own folder until they find "findlib.root" or /.
• the findlib root folder is compiled into the executables relative to the folder found above.

This patch is used in both "compile from sources" and "installed" mode (since the installer is made from a "compile from sources" installation without extra options).

So for this to work, your executable must be somewhere under the Coq Platform install folder.

If you want to install something outside of the Coq Platform installation - which is not a supported use case - what might work is to create a findlib.root file in your installation and symlink the findlib folder in the appropriate place relative to findlib.root in your installation. But I would rather recommend to deliver coq-lsp with Coq Platform, which would solve all these issues.

I don't see any other way to make multiple installations for Coq Platform coexist on one machine.

Please close, if this works for you, otherwise we should discuss on Zulip.