* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
open Printf
let debug = false
match
Str.split (Str.regexp "[ \t\r\n]+") (HExtlib.trim_blanks pair)
with
- | [a;b] -> a, b
+ | a::b::_ -> a, b
| _ -> assert false)
(Helm_registry.get_list Helm_registry.string "getter.prefix"))
in
let close_nodb ~basedir buris =
let rev_deps = Hashtbl.create 97 in
- let all_moos =
- HExtlib.find ~test:(fun name -> Filename.check_suffix name ".moo")
+ let all_metadata =
+ HExtlib.find ~test:(fun name -> Filename.check_suffix name ".metadata")
(Lazy.force moo_root_dir)
in
List.iter
(fun path ->
let metadata = LibraryNoDb.load_metadata ~fname:path in
- let baseuri_of_current_moo =
- let dirname = Filename.chop_extension (Filename.dirname path) in
+ let baseuri_of_current_metadata =
+ let dirname = Filename.dirname path in
let basedirlen = String.length basedir in
assert (String.sub dirname 0 basedirlen = basedir);
"cic:" ^
metadata
in
List.iter
- (fun buri -> Hashtbl.add rev_deps buri baseuri_of_current_moo) deps)
- all_moos;
+ (fun buri -> Hashtbl.add rev_deps buri baseuri_of_current_metadata) deps)
+ all_metadata;
let buris_to_remove =
HExtlib.list_uniq
(List.fast_sort Pervasives.compare