Add coq-lsp server in nix-shell when available.

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

MIT License

32 stars 10 forks source link

Add coq-lsp server in nix-shell when available. #164

Closed Zimmi48 closed 1 year ago

Zimmi48 commented 1 year ago

Inspired by #163, but doesn't need to wait for a corresponding nixpkgs PR.

Zimmi48 commented 1 year ago

It seems like there was a bug in this PR: coq-lsp is added in nix-shell even if --arg do-nothing true is passed. The same bug is probably present in #163.

CohenCyril commented 1 year ago

It seems like there was a bug in this PR: coq-lsp is added in nix-shell even if --arg do-nothing true is passed. The same bug is probably present in #163.

Good catch!