[klee-dev] 回复： an error occurs when building klee from source againstLLVM 3.4

[曾杰]

Thanks a lot!




------------------ 原始邮件 ------------------
发件人: "Dan Liew"<dan at su-root.co.uk>; 
发送时间: 2017年5月2日(星期二) 晚上9:55
收件人: "曾杰"<zyj183247166 at qq.com>; 
抄送: "klee-dev"<klee-dev at imperial.ac.uk>; 
主题: Re: [klee-dev] an error occurs when building klee from source againstLLVM 3.4



On 2 May 2017 at 04:32, 曾杰 <zyj183247166 at qq.com> wrote:
> Hi, Excuse me, i have a question which i cannot solve.I build KLEE using the
> approach below,
>
> Build from source against LLVM 3.4: this is the current recommended version.
>
>
> and i have complete all steps until  i run make command in Klee_build_dir
> directory,  but the following errors occur. Hope for your help!

This is an RTTI issue. See https://github.com/klee/klee/issues/508

I have documentation up for review to clarify how to handle this at

https://github.com/klee/klee.github.io/pull/81
-------------- next part --------------
HTML attachment scrubbed and removed