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....@sv.cmu.edu
<mailto:lynette....@sv.cmu.edu> |https://www.linkedin.com/in/lynetteson/
<https://www.linkedin.com/in/lynetteson/>
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev