helm/matita/matitaclean.ml

   1 module UM = UriManager;;
   2 module TA = TacticAst;;
   3
   4 let _ =
   5   Helm_registry.load_from "matita.conf.xml";
   6   Http_getter.init ();
   7   MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
   8   MatitaDb.create_owner_environment ()
   9
  10 let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove
  11
  12 let usage () =
  13   prerr_endline "";
  14   prerr_endline "usage:";
  15   prerr_endline "\tmatitaclean all";
  16   prerr_endline "\t\tcleans the whole environment";
  17   prerr_endline "\tmatitaclean files...";
  18   prerr_endline "\t\tcleans the output of the compilation of files...\n";
  19   prerr_endline "";
  20   exit 1
  21
  22 let _ =
  23   if Array.length Sys.argv < 2 then usage ();
  24   if Sys.argv.(1) = "all" then
  25     begin
  26       MatitaDb.clean_owner_environment ();
  27       exit 0
  28     end
  29   let uri_to_remove =ref [] in
  30   (try
  31     for i = 1 to Array.length Sys.argv - 1 do
  32       let suri = Sys.argv.(i) in
  33       let uri =
  34         try
  35           UM.buri_of_uri (UM.uri_of_string suri)
  36         with
  37           UM.IllFormedUri _ -> MatitacleanLib.baseuri_of_file suri
  38       in
  39       uri_to_remove := uri :: !uri_to_remove
  40     done
  41   with
  42     Invalid_argument _ -> usage ());
  43   main !uri_to_remove
  44