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, "李永超" <[email protected]> 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 >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
