diff options
| author | figsoda <figsoda@pm.me> | 2023-04-14 13:06:08 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-14 13:06:08 -0400 |
| commit | 9e960aabc6b8f10aa9130ac3eba652df664411dd (patch) | |
| tree | 4cae703e1463166087095438c45e47bd9d58de10 | |
| parent | dcc87a8f7b5ab6b5fcd1442c1b797fb5e2359be1 (diff) | |
| parent | a95ed9fe764c3ba2bf2d2fa223012c379cd6b32e (diff) | |
Merge pull request #226171 from anoadragon453/patch-1
| -rw-r--r-- | doc/languages-frameworks/coq.section.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/coq.section.md b/doc/languages-frameworks/coq.section.md index e359acb3a8098..6ca1997083776 100644 --- a/doc/languages-frameworks/coq.section.md +++ b/doc/languages-frameworks/coq.section.md @@ -37,7 +37,7 @@ The recommended way of defining a derivation for a Coq library, is to use the `c * `buildInputs` (optional), is a list of libraries and dependencies that are required to build and run the current derivation, in addition to the default one `[ coq ]`, * `extraBuildInputs` (optional, deprecated), an additional list of derivation to add to `buildInputs`, * `overrideBuildInputs` (optional) replaces the default list of derivation to which `buildInputs` and `extraBuildInputs` adds extras elements, -* `propagatedBuildInputs` (optional) is passed as is to `mkDerivation`, we recommend to use this for Coq libraries and Coq plugin dependencies, as this makes sure the paths of the compiled libraries and plugins will always be added to the build environements of subsequent derivation, which is necessary for Coq packages to work correctly, +* `propagatedBuildInputs` (optional) is passed as is to `mkDerivation`, we recommend to use this for Coq libraries and Coq plugin dependencies, as this makes sure the paths of the compiled libraries and plugins will always be added to the build environments of subsequent derivation, which is necessary for Coq packages to work correctly, * `mlPlugin` (optional, defaults to `false`). Some extensions (plugins) might require OCaml and sometimes other OCaml packages. Standard dependencies can be added by setting the current option to `true`. For a finer grain control, the `coq.ocamlPackages` attribute can be used in `nativeBuildInputs`, `buildInputs`, and `propagatedBuildInputs` to depend on the same package set Coq was built against. * `useDuneifVersion` (optional, default to `(x: false)` uses Dune to build the package if the provided predicate evaluates to true on the version, e.g. `useDuneifVersion = versions.isGe "1.1"` will use dune if the version of the package is greater or equal to `"1.1"`, * `useDune` (optional, defaults to `false`) uses Dune to build the package if set to true, the presence of this attribute overrides the behavior of the previous one. |