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"