helm/software/components/tptp_grafite/main.ml

   1 (* OPTIONS *)
   2 let tptppath = ref "./";;
   3 let ng = ref false;;
   4 let spec = [
   5   ("-ng",Arg.Set ng,"Matita ng syntax");
   6   ("-tptppath",
   7       Arg.String (fun x -> tptppath := x),
   8       "Where to find the Axioms/ and Problems/ directory")
   9 ]
  10
  11 (* MAIN *)
  12 let _ =
  13   let usage = "Usage: tptp2grafite [options] file" in
  14   let inputfile = ref "" in
  15   Arg.parse spec (fun s -> inputfile := s) usage;
  16   if !inputfile = "" then
  17     begin
  18       prerr_endline usage;
  19       exit 1
  20     end;
  21   print_endline
  22     (Tptp2grafite.tptp2grafite ~filename:!inputfile ~tptppath:!tptppath ~ng:!ng ());
  23   exit 0
  24