module TA = TacticAst;;
let _ =
- Helm_registry.load_from "matita.conf.xml";
+ Helm_registry.load_from BuildTimeConf.matita_conf;
Http_getter.init ();
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
MatitaDb.create_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