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 <[email protected]> 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
> [email protected]
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
--
Regards,
Hongxu Chen
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
