From d21ae1dc73b12740b8beec4668238e423530b39d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 2 Nov 2005 17:33:51 +0000 Subject: [PATCH] added gcc lib dir for enable static linking of libstdc++ --- helm/matita/dist/static_link/static_link.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]+" -- 2.39.2