module UM = UriManager
module TA = GrafiteAst
-let _ = MatitaInit.initialize_all ()
-
-let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove
-
-let _ =
- let uris_to_remove = ref [] in
- let files_to_remove = ref [] in
- (match Helm_registry.get_list Helm_registry.string "matita.args" with
+let main () =
+ let _ = MatitaInit.initialize_all () in
+ let basedir = Helm_registry.get "matita.basedir" in
+ match Helm_registry.get_list Helm_registry.string "matita.args" with
| [ "all" ] ->
- MatitaDb.clean_owner_environment ();
- let xmldir = Helm_registry.get "matita.basedir" ^ "/xml" in
+ LibraryDb.clean_owner_environment ();
+ let xmldir = basedir ^ "/xml" in
ignore
(Sys.command
("find " ^ xmldir ^
exit 0
| [] -> MatitaInit.die_usage ()
| files ->
- List.iter
- (fun suri ->
+ let uris_to_remove =
+ List.fold_left
+ (fun uris_to_remove suri ->
let uri =
try
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 =
+ DependenciesParser.baseuri_of_script ~include_paths:[] 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"
+ HLog.error (sprintf "File %s defines a bad baseuri: %s"
suri u);
exit 1
end else
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
- List.iter MatitaMisc.safe_remove moos
-
+ uri::uris_to_remove) [] files
+ in
+ LibraryClean.clean_baseuris ~basedir uris_to_remove