]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - optionsParsing.ml
Control and copyright added.
[pkg-cerco/acc-trusted.git] / optionsParsing.ml
1 let options = ref []
2
3 let register o = 
4   options := o @ !options
5
6 let 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