in
uri_to_remove, depend
-let rec close_using_db uris next =
+let rec close_db uris next =
match next with
| [] -> uris
- | l -> let uris, next = close_uri_list l in close_using_db uris next @ uris
+ | l -> let uris, next = close_uri_list l in close_db uris next @ uris
let cleaned_no = ref 0;;
String.sub url 7 (String.length url - 7) (* remove heading "file:///" *)
)
-let close_using_moos buris =
+let close_nodb buris =
let rev_deps = Hashtbl.create 97 in
let all_moos =
HExtlib.find ~test:(fun name -> Filename.check_suffix name ".moo")
in
List.iter
(fun path ->
- let _, metadata = GrafiteMarshal.load_moo ~fname:path in
+ let metadata = LibraryNoDb.load_metadata ~fname:path in
let baseuri_of_current_moo =
let rec aux = function
| [] -> assert false
- | GrafiteAst.Baseuri buri::_ -> buri
+ | LibraryNoDb.Baseuri buri::_ -> buri
| _ :: tl -> aux tl
in
aux metadata
let deps =
HExtlib.filter_map
(function
- | GrafiteAst.Dependency buri -> Some buri
+ | LibraryNoDb.Dependency buri -> Some buri
| _ -> None )
metadata
in
List.iter debug_prerr buris;
let l =
if Helm_registry.get_bool "db.nodb" then
- close_using_moos buris
+ close_nodb buris
else
- close_using_db [] buris
+ close_db [] buris
in
let l = HExtlib.list_uniq (List.fast_sort Pervasives.compare l) in
let l = List.map UriManager.uri_of_string l in