michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(bin/linja): --flycheck option takes a width argument

Browse source 
Close #28
This commit is contained in:
Soonho Kong 2014-09-05 16:34:32 -07:00
parent 50f16ad591
commit 4c0379586d
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
bin/linja
View file

@ -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):