[LLVMdev] uCLibc support for klee

[Donald Raikes]

Sean,

Thank you for the link.  I downloaded the klee-uClib code but it won't
compile :-) That has been the story of this project.
I will try to work around the errors and get it installed tomorrow,
but now I just need to get klee compiled and installed even without
the posix support.

On 4/6/15, Sean Bartell <sean at yotann.org> wrote:
>
> Hello,
>
> Donald Raikes on 2015-04-06:
>>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.
>
> You need a specific version of uclibc to work with Klee:
> https://github.com/klee/klee-uclibc
>
> See https://klee.github.io/getting-started/ for more information.
>
> Sean Bartell
>