module UM = UriManager
module TA = GrafiteAst
-let _ = MatitaInit.initialize_all ()
-
-let main = MatitacleanLib.clean_baseuris
-
-let _ =
+let main () =
+ let _ = MatitaInit.initialize_all () in
let uris_to_remove = ref [] in
let files_to_remove = ref [] in
(match Helm_registry.get_list Helm_registry.string "matita.args" with
UM.buri_of_uri (UM.uri_of_string suri)
with UM.IllFormedUri _ ->
files_to_remove := suri :: !files_to_remove;
- let u = MatitaMisc.baseuri_of_file suri in
+ let u = MatitacleanLib.baseuri_of_file suri in
if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
MatitaLog.error (sprintf "File %s defines a bad baseuri: %s"
suri u);
in
uris_to_remove := uri :: !uris_to_remove)
files);
- main !uris_to_remove;
- let moos = List.map MatitaMisc.obj_file_of_script !files_to_remove in
+ MatitacleanLib.clean_baseuris !uris_to_remove;
+ let moos = List.map MatitacleanLib.obj_file_of_script !files_to_remove in
List.iter MatitaMisc.safe_remove moos