[LLVMdev] uCLibc support for klee

[Caldarale, Charles R]

> From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu]
> On Behalf Of Donald Raikes
> Subject: [LLVMdev] uCLibc support for klee

> 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.

That would be because it's not part of LLVM.  You might want to try here:

http://www.uclibc.org/

 - Chuck