From 44b319515dd1b6bc468a9ce7650a9e4984e2f1a3 Mon Sep 17 00:00:00 2001 From: Лач Date: Wed, 01 Jul 2020 18:36:47 +0000 Subject: [PATCH] feat: add ability to change OS stack size --- --- a/cmds/jrsonnet/src/main.rs +++ b/cmds/jrsonnet/src/main.rs @@ -99,6 +99,12 @@ )] max_trace: usize, + #[clap( + long, + about = "Required os stack size, probally you shouldn't change it" + )] + thread_stack_size: Option, + #[clap(long, short = "J", about = "Library search dir")] jpath: Vec, @@ -115,6 +121,19 @@ fn main() { let opts: Opts = Opts::parse(); + if let Some(size) = opts.thread_stack_size { + std::thread::Builder::new() + .stack_size(size * 1024 * 1024) + .spawn(|| main_real(opts)) + .unwrap() + .join() + .unwrap(); + } else { + main_real(opts) + } +} + +fn main_real(opts: Opts) { let evaluator = jrsonnet_evaluator::EvaluationState::default(); evaluator.set_max_trace(opts.max_trace); evaluator.set_max_stack(opts.max_stack); -- gitstuff