]> matita.cs.unibo.it Git - helm.git/commitdiff
added gcc lib dir for enable static linking of libstdc++
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Nov 2005 17:33:51 +0000 (17:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Nov 2005 17:33:51 +0000 (17:33 +0000)
helm/matita/dist/static_link/static_link.ml

index f910cd3efadd67ff561d4357535f4676aa2427f5..8b1d57668d64b9215a03dac8440679b14b086b68 100644 (file)
@@ -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]+"