Suppression d'un commentaire
[tatoo.git] / src / table_options.ml
1 open Arg
2
3
4 let input_file : string option ref = ref None
5 let output_file : string option ref = ref None
6 let queries = ref []
7
8
9 let set_string_option r s = r := Some s 
10
11 let specs = align [
12  
13   "-d", String (set_string_option input_file),
14         " specify the input document file [default stdin]";
15   "--doc", String (set_string_option input_file), " ";
16   "-o", String (set_string_option output_file),
17         " specify the output file [default stdout]";
18   "--out", String (set_string_option output_file), " ";
19 ]
20
21 let usage_msg =
22   Printf.sprintf "usage: %s [options] query [query ... query]" Sys.argv.(0)
23
24 let usage () = usage specs usage_msg
25
26 let parse () =
27   parse specs (fun q -> queries := q :: !queries ) usage_msg;
28   match !queries with
29     [] -> raise (Arg.Bad "missing query")
30   | l -> queries := List.rev l