[klee-dev] error when compiling with wllvm

[Daniel Liew]

It sounds like you're trying to use your system's GCC with dragonegg and it
doesn't understand the command line arguments it is being passed.

Have you read http://dragonegg.llvm.org ? I've not used dragonegg but I'm
guessing that you may need to use GCC 4.5 if you intend to use llvm2.9.

Wllvm is just a wrapper for compilers so you need to make sure your
compiler to generate LLVM bitcode actually works before using wllvm. It may
help you to see what commands wllvm is trying to execute. You can do this
by setting the following environmental variable

export WLLVM_OUTPUT=DEBUG

Hope that helps.

Dan.

On 12 Oct 2013 03:22, "李永超" <lyc364 at qq.com> wrote:

>  Hi,
> When trying build openssl with wllvm, following error occurred:
>  cc1: error: unrecognized command line option
> "-fplugin=/home/qingjinlyc/IDEs/llvm-2.9/lib/dragonegg.so"
> cc1: error: unrecognized command line option
> "-fplugin-arg-dragonegg-emit-ir
>
>  Does anyone have any idea about this?
> Thanks,
> Ben Li
>
-------------- next part --------------
HTML attachment scrubbed and removed