X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Ftptp_grafite%2Fmain.ml;fp=components%2Ftptp_grafite%2Fmain.ml;h=e52b77c4306b6254720d91923e83307db011d29a;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/tptp_grafite/main.ml b/components/tptp_grafite/main.ml
new file mode 100644
index 000000000..e52b77c43
--- /dev/null
+++ b/components/tptp_grafite/main.ml
@@ -0,0 +1,22 @@
+(* OPTIONS *)
+let tptppath = ref "./";;
+let spec = [
+  ("-tptppath", 
+      Arg.String (fun x -> tptppath := x), 
+      "Where to find the Axioms/ and Problems/ directory")
+]
+
+(* MAIN *)
+let _ =
+  let usage = "Usage: tptp2grafite [options] file" in
+  let inputfile = ref "" in
+  Arg.parse spec (fun s -> inputfile := s) usage;
+  if !inputfile = "" then 
+    begin
+      prerr_endline usage;
+      exit 1
+    end;
+  print_endline 
+    (Tptp2grafite.tptp2grafite ~filename:!inputfile ~tptppath:!tptppath ());
+  exit 0
+