[klee-dev] Some Question about Klee

[Jonathan Neuschäfer]

On Fri, Apr 12, 2013 at 11:11:02PM +0800, 明白了 wrote:
> The second question is :
> We installs the system 12.04 version of klee according to the
> installing steps that you publish on the web, but it reports the error
> above when compiling, saying it is a “unrecognized option
> ‘--emit-llvm’”. Why was it so? I need some help in this.

Try "-emit-llvm" (with only one leading dash), it worked for me
(llvm-gcc 4.6.3).

HTH,
Jonathan Neuschäfer