source: Deliverables/D2.2/8051-memoryspaces-branch/src/options.ml @ 1328

open Misc.ArgExt

let default_choice       = "default"
let option_settings_step = "during option settings"

let language_from_string kind default s =
  try 
    Languages.from_string s
  with Not_found -> 
    if s = default_choice then 
      default
    else 
      Error.global_error option_settings_step 
        (Printf.sprintf "`%s' is not a valid %s language." s kind)
  
let source_language_of_string   = language_from_string "source" Languages.Clight
let source_language             = ref (source_language_of_string default_choice)
let set_source_language s       = source_language := source_language_of_string s
let get_source_language ()      = !source_language

let target_language_of_string   = language_from_string "target" Languages.ASM
let target_language             = ref (target_language_of_string default_choice)
let set_target_language s       = target_language := target_language_of_string s
let get_target_language ()      = !target_language

let input_files                 = ref []
let add_input_file f            = input_files := f :: !input_files
let input_files ()              = !input_files

let annotation_flag             = ref false
let request_annotation          = (:=) annotation_flag
let annotation_requested ()     = !annotation_flag

let interpretation_flag         = ref false
let request_interpretation      = (:=) interpretation_flag
let interpretation_requested () = !interpretation_flag

let debug_flag                  = ref false
let set_debug                   = (:=) debug_flag
let is_debug_enabled ()         = !debug_flag

let dev_test                    = ref false
let set_dev_test                = (:=) dev_test
let is_dev_test_enabled ()      = !dev_test

let matita_output_flag          = ref false
let is_matita_output_enabled () = !matita_output_flag

let options = OptionsParsing.register [
  "-s", Arg.String set_source_language,
  " Choose the source language between:";
  extra_doc " Clight, Cminor";
  extra_doc " [default is C]";

  "-l", Arg.String set_target_language,
  " Choose the target language between:";
  extra_doc " Clight, Cminor, RTLabs, RTL, ERTL, LTL, LIN, ASM";
  extra_doc " [default is ASM]";

  "-a", Arg.Set annotation_flag,
  " Add cost annotations on the source code.";

  "-i", Arg.Set interpretation_flag,
  " Interpret the compiled code.";

  "-d", Arg.Set debug_flag,
  " Debugging mode.";

  "-dev", Arg.Set dev_test,
  " Playground for developers.";

  "-ma", Arg.Set matita_output_flag,
  " Output matita formatted Clight program.";
]