[klee-dev] an error occurs when building klee from source against LLVM 3.4

[Dan Liew]

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