[LLVMdev] uCLibc support for klee

[Donald Raikes]

Hello,

In my reading over the last couple of days, I have read that in order
for klee to work with "native" Linux programs, I need to install the
uClibc posix support for klee.

I am not finding the uClibc  source in the llvm svn repository anywhere.

Is this still necessary for testing native Linux applications, and if
so, where do I get the uClibc source to compile?

Thanks in advance,
Donald