helm/software/components/tptp_grafite/main.ml

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