module HG = Http_getter;;
module UM = UriManager;;
+let decompile = ref (fun ~baseuri -> assert false);;
+let set_decompile_cb f = decompile := f;;
let strip_xpointer s = Pcre.replace ~pat:"#.*$" s ;;
List.iter (fun u -> debug_prerr (UriManager.string_of_uri u)) l;
List.iter
(fun baseuri ->
+ !decompile ~baseuri;
try
let obj_file =
LibraryMisc.obj_file_of_baseuri ~must_exist:false ~writable:true ~baseuri