2018-09-29 05:52:19 +03:00
|
|
|
option('gc', type : 'boolean', value : false,
|
|
|
|
|
description : 'Add debugging information to heap. Run with -g. Breaks image.')
|
2018-09-29 05:57:31 +03:00
|
|
|
option('prof', type : 'boolean', value : false,
|
|
|
|
|
description : 'Activate profiling. Run with -P.')
|
2018-12-14 04:03:19 +03:00
|
|
|
option('event-time', type : 'boolean', value : false,
|
|
|
|
|
description : 'Print timing information per event.')
|
2019-01-30 06:13:31 +03:00
|
|
|
option('memory-log', type : 'boolean', value : false,
|
|
|
|
|
description : 'Write memory usage to a logfile.')
|
2018-11-07 19:23:50 +03:00
|
|
|
option('nix', type: 'boolean', value: false,
|
|
|
|
|
description: 'Build using nix.')
|
