X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fdist%2Fstatic_link%2Fstatic_link.ml;h=8b1d57668d64b9215a03dac8440679b14b086b68;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=f910cd3efadd67ff561d4357535f4676aa2427f5;hpb=688b371f4bf16e749f16143f8c225d2cb2f225d5;p=helm.git

diff --git a/helm/matita/dist/static_link/static_link.ml b/helm/matita/dist/static_link/static_link.ml
index f910cd3ef..8b1d57668 100644
--- a/helm/matita/dist/static_link/static_link.ml
+++ b/helm/matita/dist/static_link/static_link.ml
@@ -7,7 +7,7 @@ let ocamlobjinfo = "ocamlobjinfo"
 let noautolink = "-noautolink"
 let dummy_opt_cmd = "dummy_ocamlopt"
 let opt_cmd = "ocamlopt"
-let libdirs = [ "/lib"; "/usr/lib" ]
+let libdirs = [ "/lib"; "/usr/lib"; "/usr/lib/gcc/i486-linux-gnu/4.0.2" ]
 let exceptions = [ "threads.cma", [ "-lthreads", "-lthreadsnat" ] ]
 
 let blanks_RE = Str.regexp "[ \t\r\n]+"