Hi Binh, If you issue the command "ldd" over the binary llvm-gcc you will see something similar to this: libc.so.6 =>/lib/libc.so.6
Basically, if you install glibc version 2.11 as a root installation llvm-gcc will find it automatically. However, if you want to install glibc in a particular folder there are several ways to force a binary to look for shared library in particular places (e.g., by using the global variable LD_LIBRARY_PATH). The following guide explains what you ask: http://www.eyrie.org/~eagle/notes/rpath.html Regards, Javier ________________________________________ From: Binh Q. Pham [[email protected]] Sent: 13 August 2012 02:22 To: [email protected] Subject: Building KLEE: GLIBC_2.11 not found Hi, I am installing Software Testing benchmark, and I am at the step where I need to build KLEE. However, I got the following error: /root/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc: /lib/libc.so.6: version `GLIBC_2.11` not found (required by /root/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc). Looks like llvm-gcc requires a specific version of glibc, which is newer than the one I have on my system. This is a bit strange as I thought we should have used static linking while producing llvm-gcc? My system is Debian 5, X86_64, kernel 2.6.26. gcc version: 4.3.2 glibc version: 2.7 I could install glibc 2.11, but I don't know how to force the installation above to use glibc 2.11. Anyone knows how I should get around this problem? Thank you, Binh
