gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coq.withPackages: document use with language servers (#486028)

Browse Source
This commit is contained in:
Théo Zimmermann
2026-02-01 21:00:38 +00:00
committed by GitHub
parent 539ced93dc 923099da30
commit a49d9b9716
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/languages-frameworks/rocq.section.md
+2
View File
@@ -36,6 +36,8 @@ coq.withPackages (
)
```
If you install the `vsrocq-language-server` or `rocq-lsp` server, make sure to list them as part of the above `coq.withPackages` expression instead of installing them separately if you want them to find your Coq/Rocq packages.
## Rocq packages attribute sets: `rocqPackages` {#rocq-packages-attribute-sets-rocqpackages}
The recommended way of defining a derivation for a Rocq library, is to use the `rocqPackages.mkRocqDerivation` function, which is essentially a specialization of `mkDerivation` taking into account most of the specifics of Rocq libraries. The following attributes are supported: