[klee-dev] Some Question about Klee

[Hongxu Chen]

AFAIK, the deb package of llvm-gcc is actually a dragonegg, you can see
what's happening by using

    cat $(which llvm-gcc)

or sometihing like that.

Jonathan Neuschäfer <j.neuschaefer at gmx.net> writes:

> 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
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-- 
Regards,
Hongxu Chen