]> matita.cs.unibo.it Git - helm.git/commitdiff
better table creator
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 11:14:08 +0000 (11:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 13 May 2005 11:14:08 +0000 (11:14 +0000)
helm/ocaml/metadata/table_creator/table_creator.ml

index 6384d540800bd1763f8f6f4c39fc41a4a3f71398..59289b5df5751e84392726ee9c552bef15f701c7 100644 (file)
@@ -9,9 +9,12 @@ let map =
 
 let usage argv_o =
   prerr_string "\nusage:";
-  prerr_string ("\t" ^ argv_o ^ " [-index] tablename[=rename]\n");
-  prerr_string ("\t" ^ argv_o ^ " [-index] all\n\n");
-  prerr_string "known tables:";
+  prerr_string ("\t" ^ argv_o ^ " what tablename[=rename]\n");
+  prerr_string ("\t" ^ argv_o ^ " what all\n\n");
+  prerr_endline "what:";
+  prerr_endline "\ttable\toutput SQL regarding tables";
+  prerr_endline "\tindex\toutput SQL regarding indexes\n";
+  prerr_string "known tables:\n\t";
   List.iter (fun (n,_) -> prerr_string (" " ^ n)) map;
   prerr_endline "\n"
 
@@ -47,15 +50,18 @@ let main () =
         else
           (SqlStatements.create_tables,SqlStatements.create_indexes)
       in
-      let from, index = if Sys.argv.(1) = "-index" then 2,true else 1,false in
+      let from = 2 in
+      let index = if Sys.argv.(1) = "index" then true else false in
       let todo = Array.to_list (Array.sub Sys.argv from (len - from)) in
       let todo = match todo with ["all"] -> List.map fst map | todo -> todo in
       let todo = parse_args todo in
       let todo = List.map (fun (x,name) -> name, (List.assoc x map)) todo in
-      print_endline (String.concat "\n" (tab todo));
       if index then 
         print_endline (String.concat "\n" (idx todo))
+      else
+        print_endline (String.concat "\n" (tab todo))
     end
 
 let _ = main ()
 
+