source: Deliverables/D5.1/cost-plug-in/wrapper/optionsParsing.ml @ 1462

Last change on this file since 1462 was 1462, checked in by ayache, 8 years ago

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File size: 359 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.lus node"
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  List.rev !extra_arguments
Note: See TracBrowser for help on using the repository browser.