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

build-idris-package: add documentation on idris commands options

Browse Source
This commit is contained in:
Marco Perone 2019-07-31 17:15:06 +02:00
parent 8a02fa477f
commit 349a843ef4
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
doc/languages-frameworks/idris.section.md
View File

@ -124,3 +124,21 @@ in another file (say `default.nix`) to be able to build it with
``` ```
$ nix-build -A yaml $ nix-build -A yaml
``` ```
## Passing options to `idris` commands
The `build-idris-package` function provides also optional input values to set additional options for the used `idris` commands.
Specifically, you can set `idrisBuildOptions`, `idrisTestOptions`, `idrisInstallOptions` and `idrisDocOptions` to provide additional options to the `idris` command respectively when building, testing, installing and generating docs for your package.
For example you could set
```
build-idris-package {
idrisBuildOptions = [ "--log" "1" "--verbose" ]
...
}
```
to require verbose output during `idris` build phase.