And -c option to clang, so that it won't try to call linker. On 21 January 2015 at 18:50, Dan Liew <d...@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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev