parsing_cocci/main.ml

   1 (* ----------------------------------------------------------------------- *)
   2 (* Entry point *)
   3
   4 let file = ref ""
   5 let isofile = ref None
   6 let verbose = ref true
   7
   8 let anonymous s = if !file = "" then file := s else isofile := Some s
   9
  10 let speclist = [("-v", Arg.Set verbose, "print parse result")]
  11
  12 let usage =
  13   Printf.sprintf "Usage: %s [options] <filename> \nOptions are:"
  14     (Filename.basename Sys.argv.(0))
  15
  16 let main _ =
  17   begin
  18   Arg.parse speclist anonymous usage;
  19   (* Parse_cocci.parse_and_merge !file; *)
  20   if !file = "" then failwith "filename required";
  21   Parse_cocci.process !file !isofile !verbose
  22   end
  23
  24 let _ = main ()