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
