-module HGT = Http_getter_types;;
-module HG = Http_getter;;
module UM = UriManager;;
module TA = TacticAst;;
let _ =
- Helm_registry.load_from "matita.conf.xml";
- HG.init ();
- MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner")
+ Helm_registry.load_from BuildTimeConf.matita_conf;
+ Http_getter.init ();
+ MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
+ MatitaDb.create_owner_environment ()
let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove
prerr_endline "";
prerr_endline "usage:";
prerr_endline "\tmatitaclean all";
- prerr_endline "\tmatitaclean (uri|file)+";
+ prerr_endline "\t\tcleans the whole environment";
+ prerr_endline "\tmatitaclean files...";
+ prerr_endline "\t\tcleans the output of the compilation of files...\n";
prerr_endline "";
exit 1
let _ =
- at_exit
- (fun () ->
- Http_getter_logger.log "Sync map tree to disk...";
- Http_getter.sync_dump_file ();
- print_endline "\nThanks for using Matita!\n");
if Array.length Sys.argv < 2 then usage ();
if Sys.argv.(1) = "all" then
begin
- MatitaDb.reset_owner_environment ();
+ MatitaDb.clean_owner_environment ();
exit 0
end
- let uri_to_remove =ref [] in
+ let uris_to_remove =ref [] in
+ let files_to_remove =ref [] in
(try
for i = 1 to Array.length Sys.argv - 1 do
let suri = Sys.argv.(i) in
try
UM.buri_of_uri (UM.uri_of_string suri)
with
- UM.IllFormedUri _ -> MatitacleanLib.baseuri_of_file suri
+ UM.IllFormedUri _ ->
+ files_to_remove := suri :: !files_to_remove;
+ MatitacleanLib.baseuri_of_file suri
in
- uri_to_remove := uri :: !uri_to_remove
+ uris_to_remove := uri :: !uris_to_remove
done
with
Invalid_argument _ -> usage ());
- main !uri_to_remove
-
+ main !uris_to_remove;
+ let moos = List.map MatitaMisc.obj_file_of_script !files_to_remove in
+ List.iter
+ (fun s -> try Unix.unlink s with Unix.Unix_error _ -> ()) moos