diff options
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/main.ml b/src/main.ml index e0f16d8c..fdd0576e 100644 --- a/src/main.ml +++ b/src/main.ml @@ -32,6 +32,7 @@ let () = let test_trans_units = ref false in let no_decrease_clauses = ref false in let template_decrease_clauses = ref false in + let no_split = ref false in let spec = [ @@ -72,6 +73,10 @@ let () = `\n\ \ dedicated file. Incompatible with \ -no-decrease-clauses" ); + ( "-no-split", + Arg.Set no_split, + " Don't split the definitions between different files for types, \ + functions, etc." ); ] in (* Sanity check: -template-clauses ==> not -no-decrease-clauses *) @@ -169,6 +174,7 @@ let () = { Translate.eval_config; mp_config = micro_passes_config; + split_files = not !no_split; test_unit_functions; extract_decrease_clauses = not !no_decrease_clauses; extract_template_decrease_clauses = !template_decrease_clauses; |