[klee-dev] Fwd: Issue in Compiling uclibc

[Andrey Belyaevskiy]

Hi! I've just tried to compile uclibc on Fedora 26 following
https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg01034.html because
I build KLEE-FP and got same error Lynette

llvm[1]: Compiling regstrlcpy.c for Release+Debug+Asserts build
llvm[1]: Compiling system_error.cpp for Release+Debug+Asserts build
In file included from ../../../src/lib/Support/IntervalMap.cpp:14:
../../../src/include/llvm/ADT/IntervalMap.h:1980:32: error: use 'template'
keyword to treat 'newNode' as a dependent template name
    Node[NewNode] = this->map->newNode<NodeT>();
                               ^
                               template
1 error generated.


2017-11-06 23:23 GMT+03:00 Cristian Cadar <c.cadar at imperial.ac.uk>:

> 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
>>
>>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>



-- 

С Уважением, Андрей Беляевский!
-------------- next part --------------
HTML attachment scrubbed and removed