[klee-dev] error when compiling with wllvm

[李永超]

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