wrapper/optionsParsing.ml

   1 let options = ref []
   2
   3 let register o =
   4   options := o @ !options
   5
   6 let usage_msg =
   7   "Usage: "
   8   ^ (Filename.basename Sys.executable_name)
   9   ^ " [options] file.lus node"
  10
  11 let results () =
  12   let extra_arguments = ref [] in
  13   Arg.parse (Arg.align !options)
  14     (fun s -> extra_arguments := s :: !extra_arguments)
  15     usage_msg;
  16   List.rev !extra_arguments