Changeset 3020 for driver/options.ml


Ignore:
Timestamp:
Mar 28, 2013, 5:28:48 PM (7 years ago)
Author:
sacerdot
Message:
  • Options not used removed from the help/interface.
  • More compliance with the untrusted prototype.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/options.ml

    r3005 r3020  
    22let extra_doc s = "", Arg.Unit ignore, s
    33
     4(*
    45let web_mode             = ref false
    56let is_web_mode ()       = !web_mode
    67let set_web_mode ()      = web_mode := true
     8*)
    79
     10(*
    811let default_choice       = "default"
    912let option_settings_step = "during option settings"
    1013
    11 (*
    1214let language_from_string kind default s =
    1315  try
     
    3133*)
    3234
     35(*
    3336let input_files                 = ref []
    3437let add_input_file f            = input_files := f :: !input_files
    3538let input_files ()              = !input_files
     39*)
    3640
    3741let output_files                = ref None
     
    4347let annotation_requested ()     = !annotation_flag
    4448
     49(*
    4550let interpretation_flag         = ref false
    4651let request_interpretation      = (:=) interpretation_flag
    4752let interpretation_requested () = !interpretation_flag
     53*)
    4854
    4955let interpretations_flag         = ref false
     
    5157let interpretations_requested () = !interpretations_flag
    5258
     59(*
    5360let debug_flag                  = ref false
    5461let set_debug                   = (:=) debug_flag
    5562let is_debug_enabled ()         = !debug_flag
     63*)
    5664
     65(*
    5766let asm_pretty_flag             = ref false
    5867let set_asm_pretty              = (:=) asm_pretty_flag
    5968let is_asm_pretty ()            = !asm_pretty_flag
     69*)
    6070
    6171let lustre_flag                 = ref false
     
    93103*)
    94104
     105(*
    95106let dev_test                    = ref false
    96107let set_dev_test                = (:=) dev_test
    97108let is_dev_test_enabled ()      = !dev_test
     109*)
    98110
    99111let options = OptionsParsing.register [
     
    113125  " Add cost annotations on the source code.";
    114126
     127(*
    115128  "-i", Arg.Set interpretation_flag,
    116129  " Interpret the compiled code.";
     130*)
    117131
    118132  "-is", Arg.Set interpretations_flag,
    119   " Interpret all the compilation passes.";
     133  " Outputs and interprets all the compilation passes,";
     134  extra_doc " showing the execution traces";
    120135
     136(*
    121137  "-d", Arg.Set debug_flag,
    122138  " Debug mode.";
     
    124140  extra_doc " Combined with an interpret option, shows the trace";
    125141  extra_doc " of execution states.";
     142*)
    126143
    127144  "-o", Arg.String set_output_files,
    128145  " Prefix of the output files.";
    129146
     147(*
    130148  "-asm-pretty", Arg.Set asm_pretty_flag,
    131149  " Output a pretty-printed assembly file.";
     150*)
    132151
    133152  "-lustre", Arg.Set lustre_flag,
     
    163182*)
    164183
     184(*
    165185  "-dev", Arg.Set dev_test,
    166186  " Playground for developers.";
     187*)
    167188]
Note: See TracChangeset for help on using the changeset viewer.