source: Deliverables/D2.2/8051/src/utilities/optionsParsing.ml @ 486

Last change on this file since 486 was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 344 bytes
Line 
1let options = ref []
2
3let register o = 
4  options := o @ !options
5
6let usage_msg = 
7  "Usage: " 
8  ^ (Filename.basename Sys.executable_name) 
9  ^ " [options] file..."
10
11let 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  !extra_arguments
Note: See TracBrowser for help on using the repository browser.