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)
*
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
Hello,
I installed llvm-3.4 following the instructions in
http://klee.github.io/experimental/ . And I followed the instructions in
tutorial.
The error is
$clang-3.4 get_sign.c
/tmp/get_sign-2a1cd5.o: In function `main':
get_sign.c:(.text+0x78): undefined reference to `klee_make_symbolic'
clang: