From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 2 Nov 2005 17:33:51 +0000 (+0000)
Subject: added gcc lib dir for enable static linking of libstdc++
X-Git-Tag: V_0_7_2_3~157
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d21ae1dc73b12740b8beec4668238e423530b39d;p=helm.git

added gcc lib dir for enable static linking of libstdc++
---

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]+"