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