[klee-dev] Fwd: Issue in Compiling uclibc

[Cristian Cadar]

Hi Lynette,

I see you're trying to compile uClibc on macOS.  Unfortunately, uClibc 
does not work on macOS; we need to document this better on the website. 
You should use Linux instead if you need uClibc (or KLEE's POSIX model).

Best,
Cristian

On 06/11/2017 16:46, Lynette Son wrote:
> Hi,
> 
> I've tried to compile uclibc for KLEE.
> While I follow the instruction in the README.klee file, I have the 
> following error.
> (README.klee: 
> https://github.com/ddcc/klee-uclibc/blob/master/README.klee 
> <https://github.com/ddcc/klee-uclibc/blob/master/README.klee>)
> 
> 
> It looks like I have to change the keyword in IntervalMap.h.
> I've tried to change the keyword to 'template', but I have other errors.
> Do you have any idea to fix this error?
> 
> Thanks and Regards,
> Lynette
> 
> -- 
> *Lynette Son*, MS Candidate '2018
> *Carnegie Mellon University Silicon Valley*
> (408) 500-2577 <tel:(408)%20500-2577> | lynette.son at sv.cmu.edu 
> <mailto:lynette.son at sv.cmu.edu> |https://www.linkedin.com/in/lynetteson/ 
> <https://www.linkedin.com/in/lynetteson/>
> 
> 
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>