Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/options.ml

    r486 r619  
    2828let input_files ()              = !input_files
    2929
     30let output_files                = ref None
     31let set_output_files s          = output_files := Some s
     32let get_output_files ()         = !output_files
     33
    3034let annotation_flag             = ref false
    3135let request_annotation          = (:=) annotation_flag
     
    3943let set_debug                   = (:=) debug_flag
    4044let is_debug_enabled ()         = !debug_flag
     45
     46let print_result_flag           = ref false
     47let set_print_result            = (:=) print_result_flag
     48let is_print_result_enabled ()  = !print_result_flag
    4149
    4250let dev_test                    = ref false
     
    6472  " Debugging mode.";
    6573
     74  "-o", Arg.String set_output_files,
     75  " Prefix of the output files.";
     76
     77  "-res", Arg.Set print_result_flag,
     78  " Print the result of interpretations.";
     79
    6680  "-dev", Arg.Set dev_test,
    6781  " Playground for developers.";
Note: See TracChangeset for help on using the changeset viewer.