diff options
| author | nixpkgs-ci[bot] <190413589+nixpkgs-ci[bot]@users.noreply.github.com> | 2025-12-06 00:17:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-12-06 00:17:35 +0000 |
| commit | f16fc9d4e7074014ac47fc549a261f97e985e04d (patch) | |
| tree | 46c15413877c9a2c1fe136552095cdba1836f3c2 /doc | |
| parent | glpk: fix build with gcc15 (#468113) (diff) | |
| parent | Merge master into staging-next (diff) | |
| download | nixpkgs-f16fc9d4e7074014ac47fc549a261f97e985e04d.tar.gz | |
Merge staging-next into staging
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/languages-frameworks/ocaml.section.md | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/languages-frameworks/ocaml.section.md b/doc/languages-frameworks/ocaml.section.md index 55739e652aad..d09e35c3a84b 100644 --- a/doc/languages-frameworks/ocaml.section.md +++ b/doc/languages-frameworks/ocaml.section.md @@ -45,10 +45,7 @@ Here is a simple package example. - It also accepts a `duneVersion` parameter (valid values are `"2"`, and `"3"`). The recommended practice is to set it only if you don't want the - default value and/or it depends on something else like package version. You - might see a not-supported argument `useDune2`. The behavior was `useDune2 = - true;` => `duneVersion = "2";` and `useDune2 = false;` => `duneVersion = - "1";`. It was used at the time when dune3 didn't exist. + default value and/or it depends on something else like package version. - It sets the optional `doCheck` attribute such that tests will be run with `dune runtest -p angstrom` after the build (`dune build -p angstrom`) is |