diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-26 08:54:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-26 08:54:53 +0100 |
commit | 68e4b639a3f3972aa8209a701b155dbb6fdbcbde (patch) | |
tree | 2a1f03bb18bff6efd0fd09297dda30ea439ea11d /doc/languages-frameworks | |
parent | 7d3e79bedd98878074faa6e942b0946fe09eeacb (diff) | |
parent | 7e20e9039e7f2c41d478441d0ef453a34c1ec57a (diff) | |
download | nixpkgs-68e4b639a3f3972aa8209a701b155dbb6fdbcbde.tar nixpkgs-68e4b639a3f3972aa8209a701b155dbb6fdbcbde.tar.gz nixpkgs-68e4b639a3f3972aa8209a701b155dbb6fdbcbde.tar.bz2 nixpkgs-68e4b639a3f3972aa8209a701b155dbb6fdbcbde.tar.lz nixpkgs-68e4b639a3f3972aa8209a701b155dbb6fdbcbde.tar.xz nixpkgs-68e4b639a3f3972aa8209a701b155dbb6fdbcbde.tar.zst nixpkgs-68e4b639a3f3972aa8209a701b155dbb6fdbcbde.zip |
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native
coq: Move dune, ocaml and findlib to nativeBuildInputs
Diffstat (limited to 'doc/languages-frameworks')
-rw-r--r-- | doc/languages-frameworks/coq.section.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/languages-frameworks/coq.section.md b/doc/languages-frameworks/coq.section.md index a5155aedaf5..9a692104a04 100644 --- a/doc/languages-frameworks/coq.section.md +++ b/doc/languages-frameworks/coq.section.md @@ -29,7 +29,8 @@ The recommended way of defining a derivation for a Coq library, is to use the `c * `releaseRev` (optional, defaults to `(v: v)`), provides a default mapping from release names to revision hashes/branch names/tags, * `displayVersion` (optional), provides a way to alter the computation of `name` from `pname`, by explaining how to display version numbers, * `namePrefix` (optional, defaults to `[ "coq" ]`), provides a way to alter the computation of `name` from `pname`, by explaining which dependencies must occur in `name`, -* `extraBuildInputs` (optional), by default `buildInputs` just contains `coq`, this allows to add more build inputs, +* `extraNativeBuildInputs` (optional), by default `nativeBuildInputs` just contains `coq`, this allows to add more native build inputs, `nativeBuildInputs` are executables and `buildInputs` are libraries and dependencies, +* `extraBuildInputs` (optional), this allows to add more build inputs, * `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 `extraBuildInputs` to depend on the same package set Coq was built against. * `useDune2ifVersion` (optional, default to `(x: false)` uses Dune2 to build the package if the provided predicate evaluates to true on the version, e.g. `useDune2if = versions.isGe "1.1"` will use dune if the version of the package is greater or equal to `"1.1"`, * `useDune2` (optional, defaults to `false`) uses Dune2 to build the package if set to true, the presence of this attribute overrides the behavior of the previous one. |