From 4c0379586da6ae7d6e86bf18810293c42b97ba61 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 5 Sep 2014 16:34:32 -0700 Subject: [PATCH] feat(bin/linja): --flycheck option takes a width argument Close #28 --- bin/linja | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/linja b/bin/linja index 89ce5c6a7..fb88005d0 100755 --- a/bin/linja +++ b/bin/linja @@ -318,7 +318,7 @@ def expand_target_to_fullname(target): def parse_arg(argv): global g_working_dir parser = argparse.ArgumentParser(description='linja: ninja build wrapper for Lean theorem prover.') - parser.add_argument('--flycheck', '-F', action='store_true', default=False, help="Use --flycheck option for Lean.") + parser.add_argument('--flycheck', '-F', action='store', type=int, default=None, const=120, nargs='?', help="Use --flycheck option for Lean.") parser.add_argument('--directory', '-C', action='store', help="change to DIR before doing anything else.") parser.add_argument('targets', nargs='*') args = parser.parse_args(argv) @@ -332,6 +332,7 @@ def get_lean_options(args): options = [] if args.flycheck: options.append("--flycheck") + options.append("-D pp.width=%d" % args.flycheck) return options def clear_cache(project_dir):