helm/ocaml/metadata/test.ml

   1
   2
   3 let _ = Helm_registry.set "getter.mode" "local" in
   4
   5 let _ = Helm_registry.set "getter.servers"
   6             "file:///projects/helm/library/coq_contribs" in
   7 let _ = Helm_registry.set "getter.cache_dir" "." in
   8 let _ = Helm_registry.set "getter.maps_dir" "." in
   9 let _ = Helm_registry.set "getter.dtd_dir" "/projects/helm/xml/dtd" in
  10
  11 let _ = Http_getter.init () in
  12 (* let _ = Http_getter.update () in *)
  13
  14 let dbd =
  15   Mysql.quick_connect ~host:"mowgli.cs.unibo.it" ~user:"helm" ~database:"matita"
  16     ()
  17 in
  18 let owner =
  19   try
  20     Sys.argv.(2)
  21   with Invalid_argument _ -> "matita_test2"
  22 in
  23 let _ = MetadataTypes.ownerize_tables owner in
  24 if Sys.argv.(1) = "clean" then begin
  25   prerr_endline "foo";
  26   ignore (MetadataDb.clean ~dbd)
  27 end else
  28   let fname = Sys.argv.(1) in
  29   let n = ref 0 in
  30   let ic = open_in fname in
  31   try
  32     while true do
  33       let line = input_line ic in
  34       incr n;
  35       Printf.printf "%d\t%s\n" !n line; flush stdout;
  36       let uri = UriManager.uri_of_string line in
  37       MetadataDb.index_obj ~dbd ~uri
  38     done
  39   with
  40   | _ ->
  41     prerr_endline
  42       ("total persing time " ^
  43          (string_of_float !CicEnvironment.total_parsing_time));
  44     close_in ic
  45