diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-11-07 18:36:45 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-11-07 18:36:52 +0100 |
| commit | cb4d81065967e9b40b1e488fc66f1d926f19f536 (patch) | |
| tree | 1ceecf540330b20c2d73e765972cba349de0cc2e /koch.nim | |
| parent | d5e113c3a626d3c32eba39e513f08f0fc8f05bfe (diff) | |
| download | Nim-cb4d81065967e9b40b1e488fc66f1d926f19f536.tar.gz | |
make Nim take roughly 100MB less RAM for bootstrapping via a new compiler switch -d:leanCompiler; useful for the Raberry PI
Diffstat (limited to 'koch.nim')
| -rw-r--r-- | koch.nim | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/koch.nim b/koch.nim index 8e84ac5fa..396f40bbf 100644 --- a/koch.nim +++ b/koch.nim @@ -51,6 +51,9 @@ Boot options: -d:release produce a release version of the compiler -d:useLinenoise use the linenoise library for interactive mode (not needed on Windows) + -d:leanCompiler produce a compiler without JS codegen or + documentation generator in order to use less RAM + for bootstrapping Commands for core developers: docs [options] generates the full documentation |