Hi! If I don't want to add coq-lsp
as a dependency to my project, but I want to have it in my development environment while I'm working on the project, what should I do? I guess I can have an overlay, but I don't want to copy the whole package description.
We should finish https://github.com/coq-community/coq-nix-toolbox/pull/163 to also include coq-lsp and merge it, and then any user of a Coq project with a version of Coq where coq-lsp or vscoq2 is available would have the servers in scope automatically.
@Théo Zimmermann, do you have any expectations when the pull request will be merged?
Up to @Cyril Cohen. No opposition to merge it now from my part.
Although, no actually, I should merge the corresponding nixpkgs PR first.
And note that it does not yet include coq-lsp. This should be added in the same way.
However, the analogous PR for coq lsp does not require any PR on nixpkgs (it's already there), so it can be made an merged right now.
I have no time though, one may copy and adapt coq-community/coq-nix-toolbox#163
@Cyril Cohen and @Théo Zimmermann , thank you!
I guess you have seen the now merged PR adding coq-lsp then ;-)
Thanks a lot folks, this was often requested, in fact I'm in the process of finally installing Nix as to better help Nix users with stuff like coq-lsp of jsCoq.
@Théo Zimmermann should the documentation in coq-lsp
README for Nix be updated?
Yes, here is a proposal: https://github.com/ejgallego/coq-lsp/pull/572
Last updated: Oct 13 2024 at 01:02 UTC