ocaml 3.09 transition

[helm.git] / helm / matita / dist / static_link / static_link.ml

diff --git a/helm/matita/dist/static_link/static_link.ml b/helm/matita/dist/static_link/static_link.ml
index f910cd3efadd67ff561d4357535f4676aa2427f5..8b1d57668d64b9215a03dac8440679b14b086b68 100644 (file)
--- 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]+"