source: driver/optionsParsing.ml @ 3094

Last change on this file since 3094 was 3005, checked in by sacerdot, 7 years ago

Beginning of making it fully compatible with untrusted one.

File size: 356 bytes
Line 
1let options = ref []
2
3let register o = 
4  options := o @ !options
5
6let results () = 
7  let usage_msg = 
8    "Usage: " 
9    ^ (Filename.basename Sys.executable_name) 
10    ^ " [options] file..."
11  in
12  let extra_arguments = ref [] in
13  Arg.parse (Arg.align !options)
14    (fun s -> extra_arguments := s :: !extra_arguments) 
15    usage_msg;
16  !extra_arguments
Note: See TracBrowser for help on using the repository browser.