Stream: Nix toolbox devs & users

Topic: Adding a dependency only for development


view this post on Zulip Anton Podkopaev (Oct 07 2023 at 11:17):

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.

view this post on Zulip Théo Zimmermann (Oct 07 2023 at 14:28):

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.

view this post on Zulip Anton Podkopaev (Oct 10 2023 at 10:12):

@Théo Zimmermann, do you have any expectations when the pull request will be merged?

view this post on Zulip Théo Zimmermann (Oct 10 2023 at 10:57):

Up to @Cyril Cohen. No opposition to merge it now from my part.

view this post on Zulip Théo Zimmermann (Oct 10 2023 at 10:58):

Although, no actually, I should merge the corresponding nixpkgs PR first.

view this post on Zulip Théo Zimmermann (Oct 10 2023 at 10:58):

And note that it does not yet include coq-lsp. This should be added in the same way.

view this post on Zulip Cyril Cohen (Oct 10 2023 at 11:01):

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.

view this post on Zulip Cyril Cohen (Oct 10 2023 at 11:01):

I have no time though, one may copy and adapt coq-community/coq-nix-toolbox#163

view this post on Zulip Anton Podkopaev (Oct 10 2023 at 12:17):

@Cyril Cohen and @Théo Zimmermann , thank you!

view this post on Zulip Théo Zimmermann (Oct 10 2023 at 12:37):

I guess you have seen the now merged PR adding coq-lsp then ;-)

view this post on Zulip Emilio Jesús Gallego Arias (Oct 10 2023 at 12:45):

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?

view this post on Zulip Théo Zimmermann (Oct 10 2023 at 12:51):

Yes, here is a proposal: https://github.com/ejgallego/coq-lsp/pull/572


Last updated: May 25 2024 at 20:01 UTC