diff options
| author | Peter Simons <simons@cryp.to> | 2014-06-16 15:37:25 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-06-16 15:38:38 +0200 |
| commit | fa8f2ca300f51785835305ed47e14eab12e5893f (patch) | |
| tree | e41635de92121db7583042ad32f47be2a82964a3 /pkgs/development/python-modules/rangehttpserver | |
| parent | a83aa733c32b33a5daa1608fe8f77d7d47fd78da (diff) | |
hscolour-bootstrap: allow setting RTS options for the hscolour binary we use to generate our documentation
Other tools like hsc2hs or haddock allows this, too, and some tools explicitly
set memory limits on these tools during the build (i.e. llvm-general-pure) by
exposing a GHCRTS environment variable. See [1] for a concrete example of this
issue.
[1] https://github.com/NixOS/nixpkgs/issues/2939
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions
