X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibraryClean.ml;h=8e9f430ba7ee467969ebe947b5142b1fc73d4804;hb=0581f3c8dc2098b82cd31a0fbed224a95652bd88;hp=9a3b172454c00268bd0a4320030bee9711b76a6a;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/components/library/libraryClean.ml b/helm/software/components/library/libraryClean.ml
index 9a3b17245..8e9f430ba 100644
--- a/helm/software/components/library/libraryClean.ml
+++ b/helm/software/components/library/libraryClean.ml
@@ -34,6 +34,8 @@ module HGT = Http_getter_types;;
 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 ;;
 
@@ -230,6 +232,7 @@ let clean_baseuris ?(verbose=true) buris =
     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