[klee-dev] About klee error while compiling

[Marek Chalupa]

And -c option to clang, so that it won't try to call linker.

On 21 January 2015 at 18:50, Dan Liew <dan at su-root.co.uk> wrote:

> You're missing several things
>
> * The -emit-llvm command line argument to clang (the most important
> thing here, you're not trying to build a native binary here)
> * -I/path/to/klee_source/include command line argument to clang
>
> to clang
>
> and in your source a  #include "klee/klee.h"
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed